main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

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:

sse-teaching abonnieren
Powered by de.groups.yahoo.com