Browsing Technical and Research Reports by Subject "Obj"
Now showing items 1-1 of 1
-
Especificacoes formais em obj
(CPGCC da UFRGS, 1989) [Technical and Research Report]Este trabalho apresenta a linguagem de especificção forma OBJ. Trata-se de uma linguagem executável, que serve para implementar e testar especificações algébricas. São apresentados as sintaxes e a semântica do OBJ e um ...