Hol-ocl

HOL-OCL - Entorno de prueba interactivo para el lenguaje de restricción de objetos (OCL)
Descargar ahora

Hol-ocl Clasificación y resumen

Anuncio publicitario

  • Rating:
  • Licencia:
  • GPL
  • Precio:
  • FREE
  • Nombre del editor:
  • Achim D. Brucker and Burkhart Wolff
  • Sitio web del editor:
  • http://www.brucker.ch/projects/hol-ocl/index.en.html
  • Sistemas operativos:
  • Mac OS X
  • Tamaño del archivo:
  • 4.6 MB

Hol-ocl Etiquetas


Hol-ocl Descripción

HOL-OCL - Entorno de prueba interactivo para el lenguaje de restricción de objetos (OCL) HOL-OCL es un entorno de prueba interactivo para el lenguaje de restricción de objetos (OCL). HOL-OCL se implementa como una incrustación poco profunda de OCL en la instancia de lógica de orden superior (HOL) del Prover Thorem Interactive Thorem Isabelle.hol-OCL permite refinar las especificaciones del OCL, por la razón sobre las especificaciones de OCL, y construye la base para una herramienta adicional apoyo, por ejemplo Para la generación automática de estuches.


Hol-ocl Software relacionado

Ukkqueue

Clase de envoltura alrededor del mecanismo de notificación de cambio de archivo KQUEUE ...

168 15 KB

Descargar

ViewHierarchy

ViewHierarchy - Inspector de tiempo de ejecución que le permite examinar la jerarquía de objetos NSVIEW en las ventanas de su aplicación ...

165 35 KB

Descargar

Sobre nosotros