Seminare

Seminare im Sommersemester 2013

• IN0013/IN0014 Proseminar/Seminar : Software Quality
• IN2107 Masterseminar: Software Quality
• IN2107 Masterseminar: Intelligente Energiesysteme
• IN2107 Masterseminar: Modellierung im Software & Systems Engineering

Seminare im Wintersemester 2012/13

• IN0013/IN0014 Proseminar/Seminar : Objektorientiertes Programmieren mit .NET und C#
• Seminar im Elitestudiengang Software Engineering: Seamless Model Based Development of a Reactive System
• IN2107 Masterseminar: Sicherheitskritische Entwicklung (PD Dr. Schätz, M. Khalil)
• IN0013/IN0014 Proseminar/Seminar: Schliessen mit Wahrscheinlichkeiten: Theorie und Anwendung (Prof. Broy, Dr. Schramm)
• IN0013/IN0014 Proseminar/Seminar: Embedded Systems

Seminare im Sommersemester 2012

• Software Engineering in Smart Grid Systems
• Proseminar: Software Engineering for ICT-Systems for Sustainability
• Seminar: Human Factors in Software Engineering (IN0014 + Proseminar)
• Proseminar: Foundations in Empirical Software Engineering
• Masterseminar: Requirements Engineering for ICT-Systems for Environmental Sustainability

Seminare im Wintersemester 2011/12

• Masterseminar IN 2107: Requirements Engineering for Green IT-Systems (Birgit Penzenstadler, Daniel Méndez Fernandez)
• Seminar im Elitestudiengang Software Engineering: Seamless Model-based Engineering of a Reactive System
• Proseminar: Objektorientiertes Programmieren mit .NET und C#

Seminare im Sommersemester 2011

• Seminar: Sustainability ( Nachhaltigkeit )

Seminare im Wintersemester 2010/11

• Proseminar: Objektorientiertes Programmieren mit .NET und C#

Seminare im Wintersemester 2009/10

• Masterseminar: Software Architecture in Depth

• Proseminar: Objektorientiertes Programmieren mit .NET und C#

Seminare im Sommersemester 2009

• Masterseminar: Software Engineering für eingebettete Multicore-Systeme

• Proseminar: Engineering Context-Aware Applications

• Proseminar: Grundlagen der Software-Qualität

Seminare im Sommersemester 2008

• Masterseminar: Software Qualität

Seminare im Wintersemester 2006/07

• Hauptseminar: Vorgehensmodelle und Werkzeuge im Software Engineering

• Proseminar: Programmiersprachen

Seminare im Sommersemester 06

• Hauptseminar: Produktlinien

Seminare im Wintersemester 2005/06

• Hauptseminar: Management von Softwaresystemen

Seminare im Sommersemester 05

• Proseminar: Mathematische und logische Perlen der Informatik

Seminare im Wintersemester 2004/05

• Proseminar: Meilensteine der Informatik

• Proseminar: Die Microsoft Application Blocks - Patterns und Best Practices für .NET

• Proseminar: Mathematische und logische Perlen der Informatik

• Hauptseminar: Methoden des Security Engineering

• Hauptseminar: Automotive Software Engineering

• Hauptseminar: Semantik der UML V2.0

• Hauptseminar überfachlich: Trends der Mobilkommunikation im internationalen Umfeld und ihre wirtschaftlichen Auswirkungen

Seminare im Sommersemester 04

• Hauptseminar: Requirements Engineering

• Hauptseminar: Secure Software Engineering

• Hauptseminar überfachlich: Trends der Mobilkommunikation im internationalen Umfeld und ihre wirtschaftlichen Auswirkungen

Seminare im Wintersemester 03/04

• Hauptseminar: Methoden des Security Engineering

Seminare im Sommersemester 03

• Hauptseminar: Modellbasierte Implementierung eingebetteter SW-Systeme

• Hauptseminar: Secure Software Engineering

• Hauptseminar überfachlich: Trends der Mobilkommunikation im internationalen Umfeld und ihre wirtschaftlichen Auswirkungen

Seminare im Wintersemester 02/03

• CASE-Werkzeuge für eingebettete Systeme

• Proseminar: Softwaredesaster und wie man sie vermeidet (Prof. Nipkow, Mitarbeiter)

• Software Security

Seminare im Sommersemester 02

• Hauptseminar für Ãœberfachliche Grundlagen: Accenture Webchallenge2002 (Prof. Broy, P. Dornbusch, Ch. Oeser)

• Hauptseminar: Software- Test (Prof. Broy, Dr. K. Dussa- Zieger, Dr. S. Kriebel, A. Pretschner)

• Hauptseminar: Entwicklung sicherer Systeme (Prof. Broy, Prof. Nipkow, Jürjens, Popp, Spies, Strecker, Wimmel)

Seminare im Wintersemester 01/02

• Hauptseminar: Nachweis von Sicherheisteigenschaften für JavaCard durch approximative Programmauswertung (Prof. Nipkow, Strecker)

Seminare im Sommersemester 2001

• Proseminar: Mathematische Modellierung (Prof. Nipkow, L. Prensa Nieto)

• Hauptseminar für Ãœberfachliche Grundlagen: Strategischer Einsatz von Informationstechnologien - Methoden und Fallstudien (Prof. M. Broy, Prof. K.-R. Moll, S. Vogel)

• Hauptseminar: Design hybrider, eingebetteter Systeme (Prof. M. Broy, T. Stauner, A. Pretschner, W. Prenninger)

Seminare im Sommersemester 2000

• Hauptseminar: Methoden zur Spezifikation verteilter Systeme (Prof. Broy, B. Schätz, K. Spies)

Seminare im Wintersemester 99/00

• Proseminar: Perlen der Informatik (Prof. Nipkow)

Seminare im Sommersemester 99

• Proseminar: Exotische Programmiersprachen (Prof. Nipkow)

• Zukunftstechnologien der Informatik (Prof. Broy)

Seminare im Wintersemester 98/99

• Werkzeuggestützte Modellierung eines Tamagotchi (Prof. Broy/Prof. Rombach; Programm des Abschlußtreffens, Lageplan)

• Technologiemanagement für Informatiker (Prof. Broy/Prof. Schwaertzel)

• Gekoppelte Regelsysteme (Prof. Broy/Prof. Braess/Prof. Lückel)

Seminare im Sommersemester 98

• Wichtig, nützlich und entscheidbar - Entscheidbare Probleme in der Informatik (Prof. Nipkow)

frühere Seminare

• Wettbewerbsvorteile durch strategischen Einsatz von Informationssystemen: Fallstudien und Methodik(Broy, SoSe '97)

• Innovative Konzepte moderner Programmiersprachen (Nipkow, SoSe '97)

• Hauptseminar Objektorientierte Software-Entwicklung(Broy, WS 96/97)

• Hauptseminar CASE Werkzeuge (Broy, WS 95/96, Ergebnisse des CASE Seminars)

• Hauptseminar Objektorientierte Software-Entwicklung (Broy, SoS95)

• Hauptseminar Rhetorik und Präsentationstraining für Informatiker (Broy,Schwärtzel, SoS95)

• Hauptseminar Funktionales Programmieren (Nipkow, WS94/95)

• Hauptseminar Spezifikation und Modellierung verteilter reaktiver Systeme (Broy, Nipkow, WS94/95)