Mostrar registro simples

dc.contributor.authorEdelweiss, Ninapt_BR
dc.contributor.authorRibeiro, Adagenor Lobatopt_BR
dc.date.accessioned2015-09-14T15:59:11Zpt_BR
dc.date.issued1989pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/126692pt_BR
dc.description.abstractEste 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.abstractThis 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.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.publisherCPGCC da UFRGSpt_BR
dc.rightsOpen Accessen
dc.subjectEngenharia : Softwarept_BR
dc.subjectEspecificacao formalpt_BR
dc.subjectObjpt_BR
dc.titleEspecificacoes formais em objpt_BR
dc.typeRelatório técnico e de pesquisapt_BR
dc.identifier.nrb000004673pt_BR


Thumbnail
   

Este item está licenciado na Creative Commons License

Mostrar registro simples