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