Software and Systems Engineering

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

Aktuelle Vorlesungen

Am Lehrstuhl IV werden im WS 2014/2015 folgende Vorlesungen angeboten:

Am Lehrstuhl IV werden im SS 2014 folgende Vorlesungen angeboten:

Modellierung verteilter Systeme
Requirements Engineering, für Studierende im Elitestudiengang Software Engineering (Dr. Daniel Mendez Fernandez)
IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel, BMW Group)
Systems Engineering (Dr. Stefan Kugele)

Frühere Vorlesungen

WS 2013/2014
- IN2198 : Requirements Engineering
- IN2078 : Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- IN4757 : Proseminar-Schliessen mit Wahrscheinlichkeiten: Theorie und Anwendung (Prof. Manfred Broy, Dr. Manfred Schramm)
- IN2247 : Funktionale Sicherheit (Dr. Mirko Conrad)
- IN3050 : Internet of Things and Services (Dr. Christian Prehofer)
SS 2013
- IN2082/IN2083 : Projektorganisation und Management (Prof. Manfred Broy)
- IN2080 : Modellierung Verteilter Systeme (Prof. Manfred Broy)
- Requirements Engineering, für Studierende im Elitestudiengang Software Engineering (Prof. Manfred Broy, Dr. Daniel Mendez Fernandez)
- IN8015 : Systems Engineering (Prof. Manfred Broy)
- IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel, BMW Group)
- IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
WS 2012/2013
- IN2198 : Requirements Engineering
- IN2126 : Software Engineering (Master) (Prof. Manfred Broy)
- IN3050 : Agile Project Management & Software Development (Dr. Kuhrmann)
- IN2078 : Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- IN2208 : Modellierung und Entscheidungsunterstützungssysteme in der Umweltinformatik (Prof. Struss)
- IN2247 : Funktionale Sicherheit (Dr. Mirko Conrad)
- IN3050 : Applied Logic in Engineering (Dr. Maria Spichkova)

SS 2012
- IN2080: Modellierung verteilter Systeme (Prof. Manfred Broy)
- IN2083, IN2082: Projektorganisation und Management in der Software-Entwicklung (Prof. Dr. Dr. h.c. Manfred Broy)
- IN2198: Requirements Engineering (Dr. Birgit Penzenstadler, Prof. Dr. Dr. h.c. Manfred Broy)
- IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel)
- IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
- Einführung in die Softwaretechnik (PD Dr. Bernhard Schätz, Prof. Dr. Dr. h.c. Manfred Broy)

WS2011/2012
- IN2055: Semantik (Prof. Tobias Nipkow)
- IN2247: Funktionale Sicherheit (Dr. Mirko Conrad)
- IN2208: Modellierung und Entscheidungsunterstützungssysteme in der Umweltinformatik (Prof. Peter Struss)
- IN2148: Perlen der Informatik (Prof. Tobias Nipkow)
- IN2198: Requirements Engineering (Prof. Manfred Broy)
- IN0006: Einführung in die Softwaretechnik (Prof. Manfred Broy, PD Dr.habil. Bernhard Schätz.)
- IN2078: Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- IN3050: Vorgehensmodelle im Software Engineering (Dr. Marco Kuhrmann)

SS 2011
- Requirements Engineering, für Studierende im Elitestudiengang "Software Engineering" (Prof. Manfred Broy)
- EI72312: Software Engineering (PD Dr. habil. Bernhard Schätz, für den Studiengang Elektrotechnik und Informationstechnik)
- IN0011: Einführung in die Theoretische Informatik (Prof. Tobias Nipkow)
- IN2149: Perlen der Informatik (Prof. Tobias Nipkow)
- IN2083, IN2082: Projektorganisation und Management in der Software-Entwicklung (Prof. Dr. Dr. h.c. Manfred Broy)
- IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel)
- IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
- IN2071: Wissensbasierte Systeme für industrielle Anwendungen - Knowledge-based Systems for Industrial Applications (Prof.Peter Struss)
WS 2010/2011
- Perlen der Informatik (Prof. Tobias Nipkow)
- Requirements Engineering, für Studierende im Elitestudiengang "Software Engineering" (Dr. Leonid Kof)
- Software Engineering, für Studierende im Elitestudiengang "Software Engineering" (Prof. Manfred Broy)
- IN2126: Software Engineering I: Softwaretechnik (Prof. Manfred Broy)
- IN3050: Vorgehensmodelle im Software Engineering (Dr. Marco Kuhrmann)
- IN2055: Semantik (Prof. Tobias Nipkow)
- IN2088: Softwarearchitektur (Prof. Manfred Broy, Dr. Klaus Bergner, Dr. Marc Sihling)
- IN2080: Modellierung verteilter Systeme (Prof. Manfred Broy)
- IN2208: Modellierung und Entscheidungsunterstützungssysteme in der Umweltinformatik (Prof. Dr. Peter Struss)
SS2010
- IN0011: Einführung in die Theoretische Informatik (Prof. Tobias Nipkow)
- IN3050: Software Quality Management (Dr. Stefan Wagner)
- EI72312: Software Engineering (Dr. Bernhard Schätz, für den Studiengang Elektrotechnik und Informationstechnik)
- IN2078: Grundlagen der Programm- und Systementwicklung (Dr. Maria Spichkova)
- IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
- IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel und Dipl.-Ing. Peter Kock)
- IN2071: Wissensbasierte Systeme für industrielle Anwendungen - Knowledge-based Systems for Industrial Applications (Prof.Peter Struss)
WS 2009/2010
- IN2198: Requirements-Engineering (Prof. Manfred Broy, Dr. Eva Geisberger, Dr.Leonid Kof)
- IN2080: Modellierung Verteilter Systeme (Prof. Manfred Broy)
- IN2083: Projektorganisation und Management in der Software-Entwicklung, für Studierende im Elitestudiengang "Software Engineering" (Prof. Manfred Broy)
- IN2208: Modellierung und Entscheidungsunterstützungssysteme in der Umweltinformatik - Environmental Modeling and Decision Support Systems (Prof.Peter Struss)
SS 2009:
- IN2078: Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- IN2198: Requirements-Engineering (Prof. Manfred Broy, Dr. Eva Geisberger, Dr.Leonid Kof für den Elitestudiengang Software Engineering)
- EI72312: Software Engineering (Prof. Manfred Broy, Dr. Stefan Wagner für den Studiengang Elektrotechnik und Informationstechnik)
- IN0011: Einführung in die Theoretische Informatik (Prof. Tobias Nipkow)
- IN2149: Perlen der Informatik 2 (Prof. Tobias Nipkow)
- IN2114: Automotive-Software - Methoden und Technologien (Dr. Christian Salzmann, BMW Group)
- IN2084: Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel und Dipl.-Ing. Peter Kock)
WS 2008/2009
- IN0001: Einführung in die Informatik 1 (Prof. Manfred Broy)
- IN2049: Logik (Prof. Nipkow)
- IN2088: Softwarearchitektur (Prof. Manfred Broy, Dr. Klaus Bergner, Dr. Marc Sihling)
- IN2148: Perlen (Prof. Nipkow)
- IN3050: Wartung und Reengineering von Software (Dr. Markus Pizka)
SS 2008
- Einführung in die Theoretische Informatik (Prof. Nipkow)
- Einführung in die Softwaretechnik (Prof. Manfred Broy)
- Projektorganisation und Management in der Software-Entwicklung (Prof. Manfred Broy)
- Automotive Software - Methoden & Technologien (Dr. Christian Salzmann, BMW Group)
- Perlen der Informatik 2 (Prof. Nipkow)
- Requirements Engineering (Prof. Manfred Broy, Dr. Eva Geisberger, Dr. Leonid Kof)
- Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel, BMW Group, Dipl.-Ing. Peter Kock, MAN Nutzfahrzeuge AG)
- Semantik von Programmiersprachen (Dr. Urban)
WS 2007/2008
- Software Engineering I: Softwaretechnik (Prof. Manfred Broy)
- Software Engineering (Prof. Manfred Broy, für den Elitestudiengang Software Engineering)
- Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- Logik (Gleichungslogik und Lambda-Kalkül) (Prof. Nipkow)
- Perlen der Informatik (Prof. Nipkow)
SS 2007
- Semantik von Programmiersprachen (Prof. Nipkow)
- Prozesse und Methoden beim Testen von Software (Dr. Stefan Kriebel, BMW Group; Peter Kock, MAN AG)
- Automotive Software - Methoden & Technologien (Dr. Christian Salzmann, BMW Group)
- Modellierung verteilter Systeme (Prof. Broy, Dr. Katharina Spies)
- Perlen der Informatik 2 (Prof. Nipkow)
- Projektorganisation und Management in der Software-Entwicklung (Prof. Broy)
- Softwarearchitekturen und modellgetriebene Softwareentwicklung (Prof. Broy)
WS 2006/2007
- Software Engineering I: Softwaretechnik (Prof. Manfred Broy)
- Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- Formale Methoden für den Elitestudiengang Software Engineering (Prof. Manfred Broy)
- Logik (Gleichungslogik) (Prof. Nipkow)
- Perlen der Informatik (Prof. Nipkow)
- Types for Programming Languages (Christian Urban)
SS 2006
- Semantik von Programmiersprachen (Prof. Nipkow)
- Automotive Software - Methoden und Technologien (Dr. Christian Salzmann, BMW CarIT)
- Modellierung verteilter Systeme (Prof. Broy, Dr. Katharina Spies)
- Prozesse und Methoden beim Testen von Software (S. Kriebel, P. Kock)
- Einführung in die Softwaretechnik (Prof. Broy)
- Perlen der Informatik 4 (Prof. Nipkow, Prof. Veith)
WS 2005/2006
- Software Architekturen (Prof. Broy, Dr. K. Bergner, Dr. M. Sihling)
- Vertiefung ausgewählter Themen des Software Engineering (Prof. Manfred Broy, Dr. Markus Pizka)
- Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
- Model Checking (Dr. Martin Leucker)
- Logikprogrammierung: Einführung in Prolog (Dr. Clemens Ballarin)
SS 2005
- Modellierung verteilter Systeme (Dr. Katharina Spies)
- Semantik von Programmiersprachen (Prof. Nipkow)
- Perlen der Informatik 2 (Prof. Nipkow)
- Prozesse und Methoden beim Testen von Software (S. Kriebel)
- Modellbasierte Softwaretechniken für sichere Systeme (Jan Jürjens)
- Automotive Software - Methoden & Technologien (Dr. Christian Salzmann, Dr. Thomas Stauner (BMW Car IT GmbH))
WS 2004/2005
- Logik (Gleichungslogik) (Prof. Nipkow)
- Vertiefung ausgewählter Themen des Software Engineering (Prof. Manfred Broy, Dr. Markus Pizka)
- Perlen der Informatik (Prof. Nipkow)
- Grundlagen der Programm- und Systementwicklung (Prof. Manfred Broy)
SS 2004
- Modellierung verteilter Systeme (Broy)
- Projektorganisation und Management in der Software Entwicklung (Broy)
- Software Engineering für Software im Automobil (Broy -- in Zusammenarbeit mit BMW AG)
- Semantik von Programmiersprachen (Nipkow)
- Prozesse und Methoden beim Testen von Software (S. Kriebel)
- Software-Wartung (Dr. Markus Pizka)
WS 2003/2004
- Grundlagen der Programm- und Systementwicklung (Broy)
- Softwaretechnik: Software Engineering (Broy)
- Nichtklassische Logiken (Letz)
- Softwaretechnologien für Kommunikationssysteme (Prehofer)
SS 2003
- Einführung in die Informatik IV (Broy)
- Logik (Gleichungslogik) (Nipkow)
- Organisation und Management von Softwareprojekten (Broy)
- Prozesse und Methoden beim Testen von Software (S. Kriebel)
WS 2002/2003
- Einführung in die Informatik III (Broy)
- Semantik von Programmiersprachen (Nipkow)
- Softwaretechnik: Software Engineering (Rumpe)
- Softwarearchitekturen verteilter Systeme (Broy, Bergner,Rausch, Sihling)
SS 2002
- Einführung in die Informatik II (Broy)
- Grundlagen der Programm- und Systementwicklung (Nipkow)
- Übungen zur Logik (C. Ballarin)
WS 2001/2002
- Einführung in die Informatik I (Broy)
- Modellierung verteilter Systeme (Broy)
- Semantik (Nipkow)
SS2001
- Grundlagen der Programm-und Systementwicklung (Broy)
- Projektorganisation und Management in der Software Entwicklung (Broy)
- Modellierung im Software-Engineering: Grundlagen und Anwendung (B. Schätz, K. Spies)
- Logik (Nipkow)
- Objektorientierung: Entwurfsmethoden und Programmierung (Prehofer)
WS2000/2001
Prof. Broy und Prof. Nipkow hatten ein Freisemester
SS2000
- Modellierung verteilter Systeme (Broy)
- Projektorganisation und Management in der Software Entwicklung (Broy)
- Logik (Gleichungslogik) (Nipkow)
- Parallele und Verteilte Programmierung (Ramanujam)
- Temporale Logik: Model Checking (Ramanujam)
WS99/2000
- Grundlagen der Programm-und Systementwicklung (Broy)
- Softwareengineering (Broy)
- Semantik von Programmiersprachen (Nipkow)
- Termersetzungssysteme (Nipkow)
- Grundlagen der Programmierung (Schieder)
SS99
- Einführung in die Informatik IV (Broy)
- Grundlagen der Programm-und Systementwicklung II (Nipkow)
WS98/99
- Einführung in die Informatik III (Broy)
- Kommunikation für Informatikerinnen und Informatiker
- Grundlagen der Programm-und Systementwicklung (Nipkow)
- Semantik von Programmiersprachen (Nipkow)
SS98
- Einführung in die Informatik II (Broy)
- Lambda-Kalkül (Nipkow)
- Ausgewählte Kapitel des Software-Engineering in der Praxis (Denert)
- Objektorientierung (Prehofer)
WS97/98
- Einführung in die Informatik I (Broy)
- Termersetzungssysteme (Nipkow)
- Grundlagen der Programm- und Systementwicklung (Nipkow)
- Kommunikation für Informatikerinnen und Informatiker
SoS97
- Softwareengineering (Broy)
- Grundlagen der Progamm- und Systementwicklung II (Broy)
- Logik (Nipkow)
WS96/97
- Semantik von Programmiersprachen (Nipkow)
- Funktionale Programmierung (Nipkow)
- Grundlagen der Progamm- und Systementwicklung (Broy)
- Kommunikation für Informatikerinnen und Informatiker (Lang, Wittmann)
SoS96
- Grundlagen der Software-Engineering-Methoden (Hußmann)
- Requirements Engineering (Paech)
WS95/96
- Semantik von Programmiersprachen (Nipkow)
- Lambda-Kalkül (Nipkow)
- Grundlagen der Progamm- und Systementwicklung (Broy)
- Kommunikation für Informatiker (Lang, Wittmann)
SoS95
- Termersetzungssysteme (Nipkow)
- Logik (Nipkow)
- Einführung in die Informatik IV (Broy)
WS94/95
- Software-Technik für Ingenieure (Denert)
- Einführung in die Informatik III (Broy)
SoS94
- Einführung in die Informatik II (Broy)

(c) 1999-2005 - Lehrstuhl Software and Systems Engineering
Sitemap | Kontakt/Impressum
Letzte Änderung: 2008-04-14 10:10:15