Seminar Softwaretechnik

Termine und Räume:

Das erste Treffen findet am 23.10.2007, 16.45 Uhr in Raum IZ 251 statt.

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

Art der Veranstaltung: Seminar
Stundenzahl: 2
Semester: Hauptstudium

Voraussetzung für einen Schein ist die Teilnahme an allen Vorträgen sowie das Halten eines eigenen Vortrages.

Schwerpunktzuordnung: Diese Lehrveranstaltung ist Teil des Vertiefungsgebiets "Software Engineering". Genaueres Siehe: Teaching.
Inhalt: Den Themenschwerpunkt in diesem Seminar bilden grundlegende Arbeiten der Softwaretechnik.

Seminarthemen:

No Silver Bullet - Essence and Accident in Software Engineering (Brooks, 1987) und Dimensions of Object-Based Language Design (Wegner 1987)
On Understanding Types, Data Abstraction and Polymorphism (Cardelli, Wegner, 1985)
A Behavioral Notion of Subtyping (Liskov, Wing, 1994)
An Axiomatic Basis for Computer Programming (Hoare, 1969)
Communicating Sequential Processes (Hoare, 1978)
The pi-Calculus (Milner, 1991)
A Foundation for Actor Computation (Agha, Mason, Smith, Talcott, 1993)
Abstract State Machines (Gurevich, 2000)

Weitere Informationen:

Folien vom ersten Treffen am 23.10.2007 mit Zeitplan
Für die Vorträge ist ein vorgegebenes Folientemplate zu nutzen (PPT, TeX). Bitte wenn möglich das PPT-Template verwenden.

Anmeldung zum Seminar: Die Vergabe der Seminarplätze erfolgt elektronisch.

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