Navegação Relatórios Técnicos e de Pesquisa por Assunto "Specification environment"

Resultados 1-1 de 1

    • Ferramenta de apoio a especificacao utilizando o modelo tf-orm 

      Edelweiss, Nina; Kojima, Alfredo Kengi (CPGCC da UFRGS, 1996) [Relatório Técnico e de Pesquisa]
      TF-ORM (Temporal Functionality in Objects with Roles Model) é um modelo de dados temporal orientado a objetos que visa ser utilizado na especificação formal de sistemas de informação. A especificação de aplicações em TF-ORM ...