Fundamente der Softwareentwicklung

(zunächst angekündigt als: Grundlagen der Softwareentwicklung)

Zeit Vorlesung: Mi. 9:45 - 10:30 Uhr

Zeit Übung:
	Mi., 10:30 - 11:15 Uhr
	Do., 13:15 - 14:45 Uhr (14-täglich)

Raum: IZ 160
Erster Termin: Mi. 19.04.2006

Dozent: Professor Dr. B. Rumpe
Assistent: Hans Grönniger

Art der Veranstaltung: Vorlesung und Übung mit Hausaufgaben
Stundenzahl: 1+2
Semester: Hauptstudium
Hörerkreis: Studenten und Studentinnen der Informatik und IST
Scheinerwerb: nach Absprache

Während der Vorlesung und Übung sollen Programmieraufgaben in Zweiergruppen gelöst werden (pair programming). Dazu sollen Laptops mit WLAN-Anschluß mitgebracht werden.

Schwerpunktzuordnung: Diese Lehrveranstaltung ist Teil des Schwerpunkts "Software Engineering" von Prof. Dr. Rumpe. Sie ist nur für Diplomanden und Master geeignet und arbeitsintensiv.

Inhalt: Die qualitativ gesicherte Entwicklung von komplexen Softwaresystemen erfordert den Einsatz von präzisen Werkzeugen der Informatik. Dazu gehören Formalismen und Konzepte, mit denen es möglich ist, einzelne Aspekte komplexer Systeme zu modellieren und zu analysieren. In der Informatik stehen hierfür Theorien und Kalküle zur Verfügung, die sich auf Interaktion kommunizierender Systeme, integrierte Beschreibung von Zustand und Verhalten, Komposition und Verfeinerung konzentrieren. In dieser Vorlesung wird ein mathematischer Kalkül erarbeitet, der es erlaubt, verteilte asynchron kommunizierende Systeme präzise zu beschreiben und Aussagen über deren Verhalten abzuleiten. Darauf aufbauend wird gezeigt, wie Semantiken zum Beispiel für Teilsprachen der UML definiert werden können und welche Aussagen sich daraus ableiten lassen.

Voraussetzungen: Hörer müssen grundsätzliches Verständnis für die Kommunikationsmechanismen verteilter Systeme, die wesentlichen Diagrammtypen der UML und vor allem Verständnis für diskrete Mathematik (Algebra oder auch Algebraische Spezifikation) mitbringen. Es wird erwartet, sich aktiv in die Vorlesung einzubringen, in dem etwa mittels mitgebrachtem Laptop während der Vorlesungs-/Übungszeit eigene Lösungen für Probleme erarbeitet und umgesetzt werden. Die notwendigen Programme werden rechtzeitig hier und in der Vorlesung bekannt gegeben.

Lassen Sie sich von uns regelmäßig über neue Lehrveranstaltungen und Studien-/Diplomarbeiten informieren: