Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Integration von CSP-OZ in die OO-Softwareentwicklung
 

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

  

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

 

Collections: Computer Technologies and Information Sciences