Resumo
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 pequeno exemplo de sua utilização.
Abstract
This work presents OBJ, a formal specification language. OBJ is a executable language, used to implement and test algebraic specifications. There are presented OBJ's syntax and semantics, and a short example of its use.
