Integrierter Deduktiver Software-Entwurf

Reiner Haehnle, Wolfram Menzel, Peter H. Schmitt


Trotz unbestreitbarer lokaler Erfolge beschraenkt sich die Anwendung von
Deduktion im Bereich der Software-Entwicklung auf die universitaere
Forschung.

Langfristiges Ziel des Projektes "Integrierter Deduktiver
Software-Entwurf" ist es, formale Methoden in betriebliche Anwendungen
zu transferieren. Konkret soll ein gebraeuchliches kommerzielles
Meta-CASE-Werkzeug um deduktive Komponenten erweitert werden. Als
begleitende Fallstudie ist der Entwurf und die Verifikation von
Java-Card-Programmen fuer Chipkarten vorgesehen.