Deutschland » Bayern » Unibw München » Informatik » Dr. Schmitz » Entwicklung korrekter Software » Beschreibung
Entwicklung korrekter Software
Typ: Vorlesung
SWS: 5
Credit Points: 6
Hilfe
Du möchtest diesen Kurs bewerten?
Klicke dazu auf »Kurs bewerten« im Menu.
Es werden keine Bewertungen angezeigt?
Die Bewertungen des Kurses befinden sich im Tab »Bewertungen«. Dieser wird nur angezeigt, wenn Du dich als Nutzer registriert hast und eingeloggt bist.
Die Bewertungen der einzelnen Kriterien fehlen?
Du kannst zwischen dem Kurskommentar und den Bewertungen der einzelnen Kriterien wechseln, indem Du auf »Einzelbewertungen einblenden« klickst.
Was bedeutet Kurs belegen?
Du wirst über alle neuen Bewertungen oder Foreneinträge des Kurses per E-Mail informiert.
Du möchtest mit anderen über den Kurs diskutieren?
Klicke dazu auf das Tab »Forum« und schreib einen Beitrag.
Noch Fragen?
Dann wirf einen Blick in unsere FAQ oder schicke uns eine Nachricht über unser Kontaktformular.
Kursbeschreibung / -kommentar
Praktischer Ansatz für reale Software, d.h. das Gewicht liegt auf anwendbaren Formalismen und Werkzeugen sowie nicht-trivialen Fallstudien.
Themen der Vorlesung:
1. Motivation und Einordnung: JML und OCL
2. Spezifikation als Grundlage: VDM
3. Verifikation mit Zusicherungen: Spark
4. Correctness by Construction: Dijkstra, Gries
5. Transformative Entwicklung:
Fold & Unfold-Technik
6. Model Checking zur Verifikation von Tasks
7. Model Checking zur Validierung von
Spezifikationen: Alloy
8. Korrekte Komponenten: z.B.
Kontrollabstraktionen
