Uma ferramenta para suporte formal à evolução e reutilização para linguagens de especificação algébrica com semântica inicial /
Um bom suporte dado ferramentas é fundamental para a disseminação das técnicas de especificação formal. Este trabalho apresenta os resultados alcançados no projeto de uma ferramenta de apoio ao desenvolvimento formal de especifições algébricas, chamada FERUS. Essa ferramenta lida diretamente com asp...
Na minha lista:
| Principais autores: | , , |
|---|---|
| Formato: | Dissertação |
| Publicado em: |
|
| Assuntos: | |
| Endereço do item: | https://app.bczm.ufrn.br/home/#/item/54209 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|