Seminare

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)