Courses
Most of the material is free to use by other courses, with proper attribution. Please contact Prof. Meyer or one of the other lecturers if something you seek is not available to download.
Fall 2015
- Einführung in die Programmierung
- Distributed Software Engineering Laboratory
- Robotics Programming Laboratory
- Software Verification
Spring 2015
Fall 2014
- Einführung in die Programmierung
- Distributed Software Engineering Laboratory
- Robotics Programming Laboratory
- Software Verification
Spring 2014
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
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