 | Hol-OCL.HOL-OCL - Interactive Proof-Umgebung für die Objektbegrenzungssprache (OCL) |
| Jetzt downloaden | |
Hol-OCL. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Achim D. Brucker and Burkhart Wolff
- Website des Verlags:
- http://www.brucker.ch/projects/hol-ocl/index.en.html
- Betriebssysteme:
- Mac OS X
- Dateigröße:
- 4.6 MB
Hol-OCL. Stichworte
Hol-OCL. Beschreibung
HOL-OCL - Interactive Proof-Umgebung für die Objektbegrenzungssprache (OCL) Hol-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). Hol-OCL ist als flache Einbettung von OCL in die logische (HOL) -Tinstanz des interaktiven Thenorem-Provers Isabelle.Hol-OCL implementiert, um OCL-Spezifikationen, Vernunft über OCL-Spezifikationen zu verfeinern, und bildet die Basis für ein weiteres Werkzeug Unterstützung, z für die automatische Test-Case-Generation.
Hol-OCL. Zugehörige Software
Bündeleditorsearch Plug-In
BALTLEEDITORSSEARCH-Plug-In - Textmate-Plugin, mit dem Sie den ausgewählten Bündelelementmechanismus im Bündel-Editor verwenden können ...
14 KB
