Hol-ocl.

HOL-OCL - Ambiente de prova interativa para a linguagem de restrição de objeto (OCL)
Baixe Agora

Hol-ocl. Classificação e resumo

Propaganda

  • Rating:
  • 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/index.en.html
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 4.6 MB

Hol-ocl. Tag


Hol-ocl. Descrição

HOL-OCL - ambiente de prova interativa 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 Hol-OCL é implementado como uma incorporação superficial do OCL na instância da Logic (HOL) de ordem superior (HOL) do Prover Teorema Interativo Isabelle.hol-OCL permite refinar as especificações do OCL, motivo sobre as especificações do OCL e constrói a base para uma nova ferramenta Suporte, por exemplo, para a geração automática de casos de teste.


Hol-ocl. Software Relacionado

Ukkqueue

classe wrapper ao redor do mecanismo de notificação de alteração de arquivo KQUEUE ...

168 15 KB

Download

ViewHierchy.

ViewHierarchy - Inspetor de tempo de execução que permite examinar a hierarquia dos objetos NSView nas janelas do seu aplicativo ...

165 35 KB

Download

Sobre nós