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 2008 folgende Vorlesungen angeboten: 

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

Frühere Vorlesungen

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