Ecalc
ECALC ist ein Taschenrechner-Plug-In für Eclipse, das die Möglichkeit bietet, mathematische Ausdrücke zu bewerten. ...
 | Hol-OCL.HOL-OCL ist eine interaktive 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/
Hol-OCL. Stichworte
Hol-OCL. Beschreibung
Hol-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). Hol-OCL ist eine interaktive Proof-Umgebung für die Objektbegrenzungssprache (OCL). Das HOL-OCL-Projekt wird als flache Einbettung von OCL in die logische (HOL) -Tinstanz der HOLID-THEOREM-Prover-Isabelle implementiert. HOL-OCL wird von Achim D. Brucker und Burkhart Wolff.Hol-OCL entwickelt, um über OCL-Spezifikationen zu verhindern, OCL-Spezifikationen zu verfeinern, und baut die Basis für eine weitere Werkzeugunterstützung, z. für die automatische Test-Case-Generation. HOL-OCL ist kostenlose Software; Sie können es erneut verteilen und / oder unter den Bedingungen des GPLs ändern.
Hol-OCL. Zugehörige Software
Ein praktischer Lambda-Rechner
Ein praktischer Lambda-Rechner ist ein Lambda-Rechner mit komfortablen Befehlen und Verknüpfungen. ...
Ctioga.
Ein leistungsstarkes Befehlszeilen-Plotungssystem, um die Grafiken der Publikationqualität schnell zu erstellen. ...