Browsing Technical and Research Reports by Subject "Specification environment"

Now showing items 1-1 of 1

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

      Edelweiss, Nina; Kojima, Alfredo Kengi (CPGCC da UFRGS, 1996) [Technical and Research Report]
      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 ...