Formale objektorientierte Softwareentwicklung (SS 98)

Aktuelles

In der ursprünglichen Formulierung von Aufgabe 4 war die Definition der Aktion für rev falsch; dies wurde korrigiert.

In Aufgabe 5 muß es auf dem ausgegebenen Übungsblatt in der Deklaration von add_employment Employment statt Employee heißen. Die Aufgabenstellung verliert leider dadurch teilweise ihren Sinn. Die Aufgabe wurde korrigiert.

In Aufgabe 18 fehlte die Invariante für StackImpl[X]. Dies wurde korrigiert.

Inhalt

Das Softwareengineering kann sich im Bereich der Sicherheit und Verläßlichkeit noch keineswegs mit anderen Ingenieurdisziplinen messen, der Softwareentwurf ist nach wie vor eher eine Kunst denn ein Handwerk. Die Vorlesung bietet eine Einführung in Methoden, diese Kluft durch den Einsatz fundierter mathematischer Techniken für die objektorientierte Softwareentwicklung zu überbrücken.

Der erste Teil baut auf Kevin Lanos "Formal Object-Oriented Development" zur Integration von Z++ oder VDM++ in den Softwareentwicklungsprozeß auf, in einem zweiten Teil werden alternative Ansätze diskutiert.

Personen

Termine