Courses
Fall 2013
- Einführung in die Programmierung
- Distributed Software Engineering Laboratory
- Robotics Programming Laboratory
- Software Verification
Spring 2013
- Concepts of Concurrent Computation
- Java and C# in Depth
- Seminar: Research Topics in Software Engineering
Fall 2012
- Einführung in die Programmierung
- Software Verification
- Distributed and Outsourced Software Engineering
Previous semesters
Spring 2012
Fall 2011
- Einführung in die Programmierung
- Software Verification
- Separation Logic
- Distributed and Outsourced Software Engineering
- Eiffel: Analysis, Design and Programming
Spring 2011
Fall 2010
- Einführung in die Programmierung
- Distributed and Outsourced Software Engineering
- Software Verification
Spring 2010
- Concepts of Concurrent Computation
- Software Architecture
- Java and C# in Depth
- Software Engineering Seminar
Fall 2009
- Einführung in die Programmierung
- Distributed and Outsourced Software Engineering
- Software Verification
- Eiffel: Analysis, Design and Programming
- Software Engineering Laboratory: Open Source EiffelStudio
Spring 2009
- Concurrent Object-Oriented Programming
- Software Architecture
- Software Engineering Seminar
- Software Engineering Laboratory: Open Source EiffelStudio
Fall 2008
- Einführung in die Programmierung
- Distributed and Outsourced Software Engineering
- Software Verification
- Eiffel: Analysis, Design and Programming
Spring 2008
Fall 2007
- Einführung in die Programmierung
- Software Engineering for Outsourced and Offshore Development
- Trusted Components: Reuse, Contracts and Patterns
- Eiffel: Analysis, Design and Programming
Summer 2007
- Automated Debugging and Testing
- Software Engineering
- Software Architecture
- Concurrent Object-Oriented Programming
- Languages in Depth series: C# programming
- Languages in Depth series: Java programming
- Software Engineering Seminar
Winter 2006
- Einführung in die Programmierung
- Software Engineering Seminar
- Software engineering for outsourced and offshore development
- Trusted Components: Reuse, Contracts and Patterns
- Software Engineering Laboratory
Summer 2006
- Concurrent Object-Oriented Programming
- Software Architecture
- Techniques of Java Programming
- Software Engineering Seminar
Winter 2005
- Einführung in die Programmierung
- Software engineering for outsourced and offshore development
- Trusted Components: Reuse, Contracts and Patterns
Summer 2005
- Concurrent Object-Oriented Programming
- Software Architecture
- Object-Oriented Software Construction
- Software Engineering Seminar
- Concurrency Seminar
Winter 2004
- Einführung in die Programmierung
- Offshoring and Software Engineering
- Trusted Components: Reuse, Contracts and Patterns
- Konzepte objektorientierter Programmierung
- Informatik-Projektentwicklung
- Spezifikation und Verifikation objektorientierter Software
Summer 2004
- Programming in the large
- Semantik von Programmiersprachen
- Referenzen und Aliasing in objektorientierten Programmen
- Concurrent Object-Oriented Programming
- Object-Oriented Software Construction
- Concurrency Seminar
- FATS Formal Approaches to Software
Winter 2003
- Einführung in die Programmierung
- Trusted Components: principles, techniques, standards
- Konzepte objektorientierter Programmierung
- Informatik-Projektentwicklung
- Spezifikation und Verifikation objektorientierter Software