TU BRAUNSCHWEIG

Seminar Meilensteine der Softwaretechnik - Ausgewählte Turing-Preisträger SS 2012

Aktuelles

  • Die Poster zu den Seminarthemen werden auf der GI-Jahrestagung "Informatik 2012" vorraussichtlich am Dienstag, den 18.9.2012, präsentiert.
  • The topic's posters will be presented in the course of the annual GI-conference "Informatik 2012", presumably on Tuesday, 18.9.2012.

InhaltContent

Seit 46 Jahren wird jährlich der Turing Award für ausgezeichnete Leistungen in der Informatik von der ACM verliehen. Es ist die höchste Auszeichnung in der Informatik und deren Themen sind die historischen Meilensteine der Informatik.

MDS

Das Seminar beschäftigt sich mit zehn ausgewählten Turing-Preisträger und ihren herausragenden Leistungen in der Softwaretechnik. 

This seminar deals with ten selected Turing-Award Winners and their outstanding accomplishments in the area of software engineering.

Voraussetzungen für eine erfolgreiche Teilnahme

  • 12 - 15 Seiten Ausarbeitung zu Ihrem Thema
  • Entwurf eines Posters
  • 20 - 30 Minuten Vortrag (plus Diskussion)
  • Begutachtung von zwei anderen Ausarbeitungen
  • Anwesenheit bei allen Veranstaltungen
  • Einhaltung sämtlicher Abgabefristen

Anmeldung

Die Anmeldung für das Seminar ist ab 10. Februar per Email an Joachim.Steinmetz@tu-braunschweig.de möglich. Bitte teilen Sie uns Ihr Wunschthema, Name, Matrikelnummer und den Studiengang mit. 

Termine

Auftaktveranstaltung:

  • Freitag, den 13.4.12, 09:00h - 10:30h, IZ 349

Blockveranstaltungen:

  • Freitag, den 13.7.12, 09:00h - 12:15h, IZ 349, (Themen 1 - 4)
  • Freitag, den 20.7.12, 09:00h - 13:00h, IZ 349, (Themen 6 - 10)

Sprechstunde für Seminarteilnehmer:

Zeitplan

  • Abgabe Gliederung der Ausarbeitung: Montag, 14.5.12
  • Abgabe erste Version der Ausarbeitung: Montag, 18.6.12
  • Abgabe der Gutachten: Montag, 2.7.12
  • Abgabe endgültige Version der Ausarbeitung: Montag, 9.7.12
  • Abgabe der Präsentation: 48 Stunden vor dem Vortrag

Materialien

  • Folien der Seminareinführung: (pdf)
  • Formatvorlage für die Seminarausarbeitung und die Gutachten: (LNCS)

Seminarthemen

  1. Alan Turing - Turingmaschine
  2. Donald Knuth - The Art of Computer Programming (+ TeX)
  3. Edsger W. Dijkstra - ALGOL (+ Dijkstras Algorithmus)
  4. Niklaus Wirth - Pascal
  5. Kristen Nygaard/Ole J. Dahl - Simula
  6. Alan Kay - Smalltalk
  7. Barbara Liskov - OOP
  8. Tony Hoare - CSP (+ Hoare Kalkül)
  9. Robin Milner - CCS (+ ML)
  10. Amir Pnueli - LTL

Zuordnung der Gutachter

In der folgenden Tabelle findet sich die Zuordnung von Themen und Gutachtern. Die Gutachter für das Thema "n" sind die Bearbeiter des Themas mit der jeweiligen Nummer in der Spalte für den ersten bzw. zweiten Gutachter.

Zum Beispiel: Das Thema 1 wird von den Bearbeitern der Themen 9 und 10 begutachtet. Der Bearbeiter des Themas 1 begutachtet die Arbeiten zu Themen 9 und 3.

Thema       Erster Gutachter Zweiter Gutachter
1 9 10
2 10 8
3 7 1
4 8 9
6 3 4
7 2 3
8 4 2
9 1 6
10 6 7

Links


      aktualisiert am 13.08.2012
    TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang