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

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  |  Intranet  |

Aktuelle Vorlesungen

Am Lehrstuhl IV werden im SS 2013 folgende Vorlesungen angeboten: 

• 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)

Frühere Vorlesungen

• 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)