Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

http://www.pst.informatik.uni-muenchen.de/DA_Fopra/da-janisch.html

Diplomarbeit

Formale objektorientierte Software-Entwicklung: Von Verträgen zu Programmen

Inhalt

In dieser Diplomarbeit wird ein systematischer Ansatz zur Entwicklung von Anforderungen für objektorientierte Programme aus formalen Verträgen entwickelt. Die Verträge und die Anforderungen werden mit Hilfe der Object Constraint Language OCL notiert. Die Darstellung von Verträgen erfolgt durch Vor- und Nachbedingungen für Operationen unter Berücksichtigung von Klassen- und Komponenteninvarianten. Kriterien für die Wohlgeformtheit von Verträgen auf der Grundlage einer Zustandsübergangs-Semantik werden hergeleitet. Auf dieser semantischen Grundlage werden Korrektheitsbedingungen für Realisierungen formuliert.

Bearbeiter: Stephan Janisch
Aufgabensteller und Betreuer: Priv.-Doz. Dr. Rolf Hennicker

Diplomarbeiten und Fortgeschrittenenpraktika

Lehrstuhl

Institut

Universität

Rolf Hennicker (1.3.2003)