Especificacoes formais em obj

dc.contributor.author	Edelweiss, Nina	pt_BR
dc.contributor.author	Ribeiro, Adagenor Lobato	pt_BR
dc.date.accessioned	2015-09-14T15:59:11Z	pt_BR
dc.date.issued	1989	pt_BR
dc.identifier.uri	http://hdl.handle.net/10183/126692	pt_BR
dc.description.abstract	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.	pt_BR
dc.description.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.	en
dc.format.mimetype	application/pdf
dc.language.iso	por	pt_BR
dc.publisher	CPGCC da UFRGS	pt_BR
dc.rights	Open Access	en
dc.subject	Engenharia : Software	pt_BR
dc.subject	Especificacao formal	pt_BR
dc.subject	Obj	pt_BR
dc.title	Especificacoes formais em obj	pt_BR
dc.type	Relatório técnico e de pesquisa	pt_BR
dc.identifier.nrb	000004673	pt_BR

This item is licensed under a Creative Commons License