| Veranstalter: |
Prof. Dr. Falk Howar (Vorlesung) |
|---|---|
| Veranstaltungsnummer: | 040211 |
| Typ: | Wahlpflichtmodul aus Katalog „Konzepte für Software“ |
| Modulnummer: | INF-BSc-211 |
| SWS: | 2 SWS Vorlesung 1 SWS Übung |
Die Vorlesung bietet einen Überblick über die Probleme der modernen Softwaretechnik. Sie befasst sich mit den Prinzipien der Konstruktion von Programmsystemen und folgt dabei dem Lebenszyklus eines Programmsystems von der Analyse der Anforderungen über Spezifikation und Entwurf zu Implementierung und Test. Ein Schwerpunkt der Vorlesung besteht in der Vertiefung des objektorientierten Paradigmas. Es sollen insbesondere Fragestellungen der objektorientierten Modellierung und des Entwurfs behandelt werden, wobei UML vorausgesetzt und Logik-Annotationen als wichtige Mechanismen eingeführt und Entwurfsmuster ausführlich diskutiert werden. Eine Verifikationstechnik (wie Model Checking oder modell-basiertes Testen) soll eingehender diskutiert werden.
Die Veranstaltung ist für Studenten des Haupt- oder Bachelorstudiums gedacht, die ihre Kenntnisse der Softwaretechnik und insbesondere der objektorientierten Systemkonstruktion vertiefen wollen; sie zählt zu den Voraussetzung für eine Abschlussarbeit an den Lehrstühlen für Software-Technologie. Die Veranstaltungen des Grundstudiums werden vorausgesetzt, hier besonders die Veranstaltung Softwaretechnik. Der vorherige Abschluss des Software-Praktikums wird empfohlen, ist jedoch nicht Voraussetzung für die Teilnahme an der Modulprüfung. Bei regelmäßiger Teilnahme an den Übungen besteht die Möglichkeit zum Erwerb des Übungsscheins. Die Vorlesung kann in den kommenden Semestern durch Spezialvorlesungen, Seminare und Projektgruppen vertieft werden.
Die Veranstaltung Softwaretechnik ist Voraussetzung für den Besuch dieser Vorlesung.
Da Teile der Vorlesung fortgeschrittene logische und algebraische Techniken verwenden (z.B. logik-basierte Spezifikation und Verifikation), ist die sichere Beherrschung der Lerninhalte der Vorlesungen über mathematische Grundlagen der Informatik Voraussetzung für einen erfolgreichen Besuch der Vorlesung.
Modulbeschreibung (Bachelor)