Formale objektorientierte Softwareentwicklung (SS 99)

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.

• Hörerkreis: Studierende im Hauptstudium der Informatik
• Voraussetzungen: keine
• Literaturhinweise:
  • Kevin Lano. Formal Object-Oriented Development. Springer, London, etc., 1995.
  • C. Larman. Applying UML and Patterns. Prentice Hall PTR, Upper Saddle River, New Jersey, 1998.
  • J. Martin, J. J. Odell. Object-Oriented Methods: a Foundation. Prentice Hall PTR, Upper Saddle River, New Jersey, 1998.
  • J. Warmer, A. Kleppe. The Object-Constraint Language. Addison-Wesley, Reading, Massachusetts, 1998.
  • B. Oestereich. Objektorientierte Softwareentwicklung. Oldenburg, Muenchen, 1998.
• Skript: keines
  
  

Material zur Vorlesung und den Übungen