Home | deutsch  | Legals | Sitemap | KIT

Formale Entwicklung objektorientierter Software (WS 08/09)

Formale Entwicklung objektorientierter Software (WS 08/09)
Type: Praktikum
Place: SR 301
Time:

Mi, 17:30 - 19:00

Lecturer:

Prof. P. H. Schmitt
Christian Engel
Benjamin Weiß

SWS: 2

Ist fehlerfreie Software unmöglich?

Wenn Sie die Antwort auf diese Frage interessiert und Sie schon immer einmal Software realitätsnah in einer Gruppe entwickeln wollten, dann ist dieses Praktikum genau das, wonach Sie suchen.

Anhand eines selbst realisierten Software-Projektes lernen Sie in einer Gruppe Aspekte der formalen Software-Entwicklung kennen und anzuwenden, d.h. Analyse, Modellierung, Spezifikation, Implementierung und Verifikation (aber z.B. auch Dokumentation). Für die Implementierung verwenden wir Java, zum Spezifizieren die Java Modeling Language (JML). Als Verifikationswerkzeuge werden ESC/Java2 und KeY eingesetzt.

Der in der Vorlesung "Formale Systeme" behandelte Stoff sowie Programmierkenntnisse werden vorausgesetzt. Kenntnisse aus der Vorlesung "Softwaretechnik" sind von Vorteil. Die sonstigen notwendigen Kenntnisse werden im Laufe des Praktikums vermittelt. Zu den einzelnen Einheiten gibt es korrigierte und besprochene Übungsaufgaben.

Termine

  1. Termin am 22.10.08: Vorbesprechung
  2. Termin am 29.10.08: JML
  3. Termin am 05.11.08: JML II
  4. Termin am 12.11.08: Besprechung des 2. und 3. Übungsblattes
  5. Termin am 26.11.08: Vorstellung der Systementwürfe, ESC/Java2
  6. Termin am 03.12.08: Dynamische Logik
  7. Termin am 10.12.08: Dynamische Logik II
  8. Termin am 07.01.09: Dynamische Logik III

      Verifikationsaufgabe

Materialien