Publicação
Especificacoes formais em 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. |
|---|---|
| Autores principais: | Edelweiss, Nina |
| Outros Autores: | Ribeiro, Adagenor Lobato |
| Assunto: | Engenharia : Software Especificacao formal Obj |
| Ano: | 2015 |
| País: | Brasil |
| Tipo de documento: | relatório |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | IBICT |
| Idioma: | português |
| Origem: | Oasisbr |
| 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. |
|---|
Atividades financiadas
Não foram encontrados projetos financiados.