Repositório Digital

A- A A+

Especificacoes formais em obj

.

Especificacoes formais em obj

Mostrar registro completo

Estatísticas

Título Especificacoes formais em obj
Autor Edelweiss, Nina
Ribeiro, Adagenor Lobato
Data 1989
Assunto Engenharia : Software
Especificacao formal
Obj
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.
Tipo Relatório Técnico e de Pesquisa
URI http://hdl.handle.net/10183/126692
Arquivos Descrição Formato
000004673.pdf (2.135Mb) Texto completo Adobe PDF Visualizar/abrir

Este item está licenciado na Creative Commons License

Este item aparece na(s) seguinte(s) coleção(ões)


Mostrar registro completo

Percorrer



  • O autor é titular dos direitos autorais dos documentos disponíveis neste repositório e é vedada, nos termos da lei, a comercialização de qualquer espécie sem sua autorização prévia.
    Projeto gráfico elaborado pelo Caixola - Clube de Criação Fabico/UFRGS Powered by DSpace software, Version 1.8.1.