Listar Reportes Técnicos y de Investigación por autor "Ribeiro, Adagenor Lobato"
Mostrando ítems 1-1 de 1
-
Especificacoes formais em obj
Edelweiss, Nina; Ribeiro, Adagenor Lobato (CPGCC da UFRGS, 1989) [Reporte Técnico y de Investigación]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 ...