5.Stand der Wissenschaft und Technik

5.1.Formale Methoden

5.1.1.Spezifikation sequentieller Systemkomponenten

5.1.2.Spezifikation kommunizierender, verteilter Systeme

Spezifikation von Realzeitanforderungen

5.1.3.Strukturierung, Komposition heterogener Spezifikationen

Strukturierung von Spezifikationen und Programmen

Multi-Logik Systeme

5.1.4.Formale Entwicklungen, Transformationskalkül

Korrekte Entwicklungsschritte

Programmentwicklung durch Transformation

Wiederverwendbarkeit von Entwicklungen

Transformations-Kalkül

Meta-Entwicklung, effiziente Transformationsprogramme

Normalform-Übersetzer

5.1.5.CASE Methoden

5.1.6.Bezug zu Vorgehensmodellen

5.2.Entwicklungswerkzeuge für Formale Methoden

5.2.1.Beweissysteme

5.2.2.Transformationssysteme

5.2.3.Spezielle Werkzeuge zum Erstellen und Überprüfen von Spezifikationen

Z Type Checker

Validationsumgebungen für Formale Methoden

VSE

KIV

B-Tool-Kit

RAISE

FDR (Model Checker für CSP-Refinement)

CASE Tools

5.3.Entwicklungsumgebungen für Formale Methoden

5.3.1.KORSO Systemarchitektur-Rahmen

5.3.2.Datenbasisverwaltung

Objekte, strukturelle und semantische Relationen

Grafische Darstellung der Datenbasis

5.3.3.Benutzungsoberfläche

5.3.4.Integration von Subsystemen und Werkzeugen, Interaktion

Integration von Subsystemen

Formen der Kopplung

Verkapselung, Schnittstellen

Kommunikationsprotokolle

ECMA Standard PCTE

5.3.5.Verwaltung von Entwicklungen

Entwicklungsskripte

Kontrolle der Korrektheit bei Interaktionen

Kontrolle in Bezug auf ein Vorgehensmodell

Wiederverwendung von formalen Entwicklungen