Home | english  | Impressum | Sitemap | KIT

Formale Entwicklung objektorientierter Software (WS 10/11)

Formale Entwicklung objektorientierter Software (WS 10/11)
Typ: Praktikum Links:
Ort:

Raum 305

Zeit:

Fr, 14.00 - 15.30

Beginn: 27.10.2010
Dozent:

Prof. P. H. Schmitt
David Faragó

Christoph Scheben
Mattias Ulbrich
Benjamin Weiß

LVNr.: 24308

Ist fehlerfreie Software möglich?

Wenn Sie die Antwort auf diese Frage interessiert und Sie schon immer einmal Software 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 Event-B und die Java Modeling Language (JML). Als Verifikationswerkzeuge werden z. B. Rodin, ESC/Java2, JMLUnit, der JML Runtime Assertion Checker (RAC) und KeY eingesetzt.

Der in der Vorlesung "Formale Systeme" behandelte Stoff sowie Programmierkenntnisse werden vorausgesetzt. Kenntnisse aus der Vorlesung "Softwaretechnik" sind von Vorteil. In der parallel laufenden Vorlesung "Spezifikation und Verifikation von Software" werden die notwendigen theoretischen Grundlagen zum Praktikum vermittelt. Zu den einzelnen Praktikumseinheiten gibt es korrigierte und besprochene Übungsaufgaben.

Vorbesprechung am Mittwoch, dem 27. Oktober 2010, um 17:30 in SR 301 (Geb. 50.34)

Aufgaben

Weitere Informationen und relevante Dokumente