| | |
Summary: Integration von CSP-OZ
in die OO-Softwareentwicklung
f¨ur die automatische Verifikation
Diplomarbeit
Abteilung Entwicklung korrekter Systeme
vorgelegt von:
Andreea Stamer
Erstgutachter: Prof. Dr. E.-R. Olderog
Betreuer: Dipl. Inform. Michael M¨oller
20. M¨arz 2006
Zusammenfassung
Der Wunsch, korrekte und zuverl¨assige Software besonders f¨ur sicherheitskritische Auf-
gaben zu entwickeln, kann nur dann Realit¨at werden, wenn der klassische objektorien-
tierte (OO) Entwicklungsprozess von Software verbessert wird, indem formale Methoden
m¨oglichst fr¨uh innerhalb des Softwareentwicklungsprozesses eingesetzt werden. Das Ziel
ist es, den Entwicklungsprozess von Software-Systemen mathematisch zu fundieren, um
Fehler fr¨uhzeitig zu finden und diese zu beheben. Das Ergebnis des Einsatzes forma-
ler Methoden ist nicht nur eine Erh¨ohung der Qualit¨at von Software, sondern auch die
Gew¨ahrleistung des korrekten Funktionierens der Systeme. Besonders im Bereich der
sicherheitskritischen Systeme werden solche hohen Anforderungen an die Funktionalit¨at
|
