Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Archiv

Wintersemester 2012/2013

  • Logische Methoden des Software Engineerings
    • Veranstalter: Prof. Dr. Jakob Rehof Vorlesung (2 SWS)
  • Software-Konstruktion
    • Veranstalter: Prof. Dr. Jan Jürjens und Sebastian Pape Vorlesung (2 SWS) + Übung (1 SWS)
  • Sicherheit: Fragen und Lösungsansätze
    • Veranstalter: Prof. Dr. Jan Jürjens und Thomas Ruhroth Vorlesung (2 SWS) + Übung (1 SWS)
  • Softwaretechniken für sichere Cloud-Computing-Systeme
    • Veranstalter: Prof. Dr. Jan Jürjens und Christian Wessel Fachprojekt (4 SWS)
  • Proseminar: SE im Cloud Computing
    • Veranstalter: Prof. Dr. Jakob Rehof Proseminar (3 SWS)
  • Seminar: AI Planning
    • Veranstalter: Prof. Dr. Jakob Rehof Seminar (2 SWS)
  • Ausgewählte Themen des modellbasierten Sicherheits-Engineerings
    • Veranstalter: Prof. Dr. Jan Jürjens Seminar (2 SWS)
  • Diplomanden- und Doktorandenseminar (DiDo)
    • Veranstalter: Prof. Dr. Jakob Rehof
  • Diplomanden- und Doktorandenseminar (DiDo)
    • Veranstalter: Prof. Dr. Jan Jürjens

Sommersemester 2012

  • Elektronische Geschäftsprozesse
    • Veranstalter: Prof. Dr. Jakob Rehof Vorlesung (2 SWS)
  • Logische Methoden des Software Engineerings
    • Veranstalter: Prof. Dr. Jakob Rehof Vorlesung (2 SWS)
  • Proseminar: Geschichte der Programmierung
    • Veranstalter: Prof. Dr. Jakob Rehof Proseminar (3 SWS)
  • Diplomanden- und Doktorandenseminar (DiDo)
    • Veranstalter: Prof. Dr. Jakob Rehof
  • Diplomanden- und Doktorandenseminar (DiDo SECSE)
    • Veranstalter: Prof. Dr. Jan Jürjens
  • Methodische Grundlagen des Software-Engineerings
    • Veranstalter: Prof. Dr. Jan Jürjens
    • Vorlesung (4+2 SWS, INF-MSc-211, Basis-Modul-Vorlesung Master, mit Übung)
  • Modellbasierte Softwaretechniken für sichere Systeme
    • Veranstalter: Prof. Dr. Jan Jürjens Vorlesung (2+2 SWS, INF-MSc-320, Basis-Modul-Vorlesung Master, mit Übung)
  • Ausgewählte Themen des modellbasierten Sicherheits-Engineerings
    • Veranstalter: Prof. Dr. Jan Jürjens Seminar (2 SWS)

Wintersemester 2011/12

  • Logische Methoden des Software Engineerings
    • Veranstalter: Prof. Dr. Jakob Rehof Vorlesung (2 SWS)
  • Logikbasierte Programmsynthese
    • Veranstalter: Prof. Dr. Jakob Rehof Vorlesung (2 SWS)
  • Software-Konstruktion
    • Veranstalter: Prof. Dr. Jan Jürjens und Sebastian Pape Vorlesung (2 SWS) + Übung (1 SWS)
  • Ausgewählte Themen des Modellbasierten Sicherheits-Engineerings
    • Veranstalter: Prof. Dr. Jan Jürjens Seminar (2 SWS)
  • Diplomanden- und Doktorandenseminar (Informationen auf Anfrage)
    • Veranstalter: Prof. Dr. Jan Jürjens
  • Diplomanden- und Doktorandenseminar (DiDo)
    • Veranstalter: Prof. Dr. Jakob Rehof
  • Administration von FreeBSD
    • Veranstalter: Martin Sugioarto