• 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 ...