Formale Spezifikation von Software (KITE und ST)

Vorlesung im Sommersemester 2004 (zwei SWS)

Jun.-Prof. Dr. Bernhard Beckert


Aktuelles

Lehrevaluation: Bitte füllen Sie diesen Fragebogen und geben Sie ihn in der letzten Vorlesung oder im Sekretariat bei Frau Riechert (Raum B226) ab. Ich möchte auch alle, die nur unregelmäßig an der Vorlesung teilgenommen haben, bitten, den Fragebogen auszufüllen. Die Befragung ist selbstverständlich anonym.

Frühere aktuelle Informationen


Allgemeine Informationen zur Vorlesung

Hörerkreis

Die Vorlesung richtet sich an Studenten der Informatik und der Computervisualistik im Hauptstudium, die Interesse an formalen Methoden der Softwareentwicklung haben.

Sie zählt zu den beiden Vertiefungsfächern KITE und ST.

Inhalt

Die Modellierung von Software in einer geeigneten Modellierungssprache (z.B. UML) gehört schon seit langem zu einer grundlegenden Technik des Software-Engineerings. Jedoch nimmt auch die praktische Bedeutung formaler Methoden in der Softwareentwicklung ständig zu, da mehr und mehr sicherheitskritische Anwendungen entstehen und die Qualitätsansprüche an Software wachsen.

In der Vorlesungen werden zunächst Techniken der formalen Beschreibung (Spezifikation) von Software vorgestellt (wobei die Spezifikation objektorientierter Software den Schwerpunkt bildet). Themen in diesem Bereich sind:


Zeit und Ort

Dienstags, 12:00 Uhr s.t., Raum B016

Die Vorlesung findet wöchentlich statt, erstmals am 27.04. und letzmals am 27.07; am 07.06. fällt sie aus (13 Doppelstunden).


Materialien zur Vorlesung

Folien

Weitere Materialien


Bernhard Beckert