Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Thinking Intellekt

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/VDM/VDMSL/ProgLangSL/

Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.txt Sprache: Text

Original von: VDM^©

Author: Bernhard K. Aichernig and Andreas Kerschbaumer

This example is made by Bernhard K. Aichernig and Andreas Kerschbaumer
and it contains a VDM model for a Static and Dynamic Semantics of a Simple
Programming Language. The example has been an assignment in the exercises
of the software technology course at the Technical University Graz, Austria.

Language Version: vdm10
Entry point : Test`RunTypeCheck()
Entry point : Test`RunEval()