 | Hol-ocl.hol-ocl é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). |
| Baixe Agora | |
Hol-ocl. Classificação e resumo
Propaganda
- Licença:
- GPL
- Preço:
- FREE
- Nome do editor:
- Achim D. Brucker and Burkhart Wolff
- Site do editor:
- http://www.brucker.ch/projects/hol-ocl/
Hol-ocl. Tag
Hol-ocl. Descrição
Hol-OCL é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). Hol-OCL é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). O projeto Hol-OCL é implementado como uma incorporação superficial do OCL na instância da Logic (HOL) de ordem superior do provador de teorema interativo Isabelle. O Hol-OCl é desenvolvido pela Achim D. Brucker e Burkhart Wolff.Hol-OCL permite uma razão para as especificações sobre OCL, refinar as especificações do OCL e constrói a base para mais suporte à ferramenta, e. para a geração automática de casos de teste. Hol-ocl é software livre; Você pode redistribuí-lo e / ou modificá-lo sob os termos da GPL.
Hol-ocl. Software Relacionado
Evojava
Evojava é um programa para explorar interativamente conceitos intrigantes na ciência da computação. ...
