Frühere Vorlesungen

  • Allgemeine Informatik I (WS 2003/2004, WS 2001/2002)
  • Allgemeine Informatik II (SS 2004, SS 2002)
  • Constraint Programmierung (WS 2011/2012, WS 2010/2011, WS 2009/2010, WS 2008/2009, WS 2005/2006, WS 2004/2005, WS 2003/2004, WS 2002/2003)
  • Embedded Software-Engineering im Bereich Automotive (WS 2011/2012, WS 2010/2011, WS 2009/2010, WS 2008/2009, WS 2007/2008, WS 2006/2007, WS 2005/2006, SS 2005)
  • Flexible und agile Software-Entwicklungsprozesse (WS 2002/2003)
  • Formale Spezifikation und Programmentwicklung (WS 1997/1998)
  • Funktionale Programmierung (WS 2011/2012, WS 2010/2011, SS 2009, WS 2005/2006, WS 2001/2002, WS 2000/2001, WS 1998/1999, SS 1997, SS 1996)
  • Grundlagen des Übersetzerbaus (WS 2011/2012, WS 2010/2011, WS 2009/2010, WS 2008/2009, WS 2007/2008, WS 2006/2007, WS 2005/2006, WS 2004/2005, WS 2003/2004, WS 2002/2003, SS 2001, SS 2000, SS 1999, WS 1997/1998, WS 1996/1997, WS 1995/1996, WS 1994/1995)
  • Management von Softwareprojekten (WS 2011/2012, WS 2010/2011, WS 2009/2010, WS 2008/2009, WS 2007/2008, WS 2006/2007, WS 2005/2006, WS 2004/2005, WS 2003/2004, WS 2002/2003, SS 2001, SS 2000)
  • Praktische Informatik (SS 2008, WS 2007/2008)
  • Paradigmen der Programmierung (SS 2011, SS 2010)
  • Praktische Informatik 1 (WS 2003/2004)
  • Programmanalyse (SS 2005)
  • Regelbasierte Formalismen (WS 2005/2006)
  • Regelbasierte Programmierung (SS 2010, SS 2009, SS 2008, SS 2006)
  • Requirements Engineering (SS 2011, SS 2010, WS 2008/2009, WS 2007/2008, WS 2006/2007, WS 2005/2006, WS 2004/2005, WS 2003/2004, WS 2002/2003, SS 2001, SS 2000, SS 1999, WS 1997/1998)
  • Software-Qualität (SS 2001, SS 2000)
  • Softwaretechnik (SS 2008, SS 2007, SS 2006, SS 2005, WS 2003/2004, SS 2003, SS 2002, WS 2000/2001, WS 1999/2000)
  • Softwaretechnik 1 (WS 2011/2012, WS 2010/2011, WS 2009/2010)
  • Softwaretechnik 2 (SS 2011, SS 2010)
  • Theoretische Informatik 2 (SS 2007)
  • Übersetzung neuerer Sprachkonzepte (SS 2011, SS 2010, SS 2008, SS 2007, SS 2006, SS 2005, SS 2003, WS 2001/2002, WS 2000/2001, WS 1999/2000, SS 1998, SS 1997, SS 1996, SS 1995)
  • Vorgehens- und Prozeßmodelle (WS 1998/1999, SS 1998, WS 1997/1998)