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