Sommersemester 2005 Frühere Semeste... Sommersemester 2004

Wintersemester 2004/2005

Vorlesungen

  • Software Verification and Validation (mit Übungen)
  • Fehlertolerierende Softwarearchitekturen (mit Übungen)
  • Softwarezuverlässigkeit (mit Übungen)
  • Softwareprojektmanagement
  • Seminare

  • Software Engineering zur Vermeidung software-bedingter Unfälle (Seminar im Grundstudium)
  • Informationssicherheit - Aspekte und Anwendungen (Seminar im Grundstudium)
  • Formale Methoden für eingebettete Hardware/Software-Systeme (Seminar im Hauptstudium)
  • Praktische Übungen

  • Software Engineering in der Praxis
  • Weitere Veranstaltungen

  • Kolloquium für Doktoranden und Habilitanden
  • Kolloquium für Studienarbeiter und Diplomanden
  • Studien- und Diplomarbeiten

  • Themen