Die JaWA Seite

VERALTET!!! Neue Version

(English Version)

Übersetzt Quellcode der Sprache JaWA in ausführbare Java-Programme. Die Sprache JaWA ist eine Erweiterung von Java um Zusicherungen, wie sie im Konzept "Programmieren mit Vertrag" von Bertrand Meyer entworfen wurden, um die Entwicklung korrekte Software zu ermöglichen. Dazu werden die Zusicherungen zur Laufzeit geprüft und bei ihrer Verletzung Ausnahmen ausgelöst, die wiederum im Programm selbst behandelt werden können.

Für weitere Informationen zur Bedienung des JaWA-Präcompilers und zur Sprache JaWA existiert ein Online Benutzerhandbuch .
Downloads (Sourcecode und Documentation)