Teaching
| Term | Type | |
| WS = Winter term |  |
G = Vorlesung mit Übungen |
| SS = Summer term | V = Vorlesung | |
| U = Übungen | ||
| S = Seminar |
WS 2006/2007 |
||||||||
|---|---|---|---|---|---|---|---|---|
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 251-0001-00 | V | Einführung in die Programmierung | Bertrand Meyer | English | 4 | Mon 13:00-15:00 08:00-10:00 |
HG E7 HG F1 |
mandatory |
| 251-0001-00 | U | Einführung in die Programmierung | Bertrand Meyer | English | 3 | mandatory | ||
| 251-0273-00 | V | Software engineering for outsourced and offshore development | Peter Kolb, Bertrand Meyer | English | 2 | Wed 08:00-10:00 | RZ F21 | 4 |
| 251-0239-00 | G | Trusted Components: Reuse, Contracts and Patterns | Bertrand Meyer, Manuel Oriol | English | 3 | Mon 09:00-11:00 Wed 10:00-11:00 |
Mon: IFW C42 Wed: RZ F21 |
5 / 3 |
| 252-2601-00 | U | Software Engineering Laboratory | Bertrand Meyer | English | - | - | - | 4 |
|
SS 2006 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 251-0268-00 | 2V1U | Concurrent Object-Oriented Programming | Bertrand Meyer | English | 2+1 | Tue 13:00-16:00 | IFW D42 | 5 / 4 |
| 251-0284-00 | 2V1U | Techniques of Java Programming | Bertrand Meyer, Manuel Oriol | English | 2 | Wed
16:00-17:00 Thu 14:00-16:00 |
Wed IFW A 32.1 Thu IFW A 32.1 |
5 |
| 252-0050-00 | V | Software Architecture | Bertrand Meyer | English | 2 | Wed
08:00-10:00 |
HG F 3 | mandatory |
| 252-0050-00 | U | Software Architecture | Bertrand Meyer | German/English | 1 | Tue 14:00-15:00 |
various | mandatory |
| 251-0276-00 | S | Software Engineering Seminar | Bertrand Meyer | English | 2 | Mon 14:00-16:00 20 minutes / presentation |
IFW C 42 | |
|
WS 2005/2006 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 252-0001-00 | V
|
Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | English
|
4
|
Mon 13:00-15:00 Tue 08:00-10:00 |
Mon: HG E7 Tue: HG F1 |
mandatory
|
| 252-0001-00 | U
|
Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | German/English
|
3
|
various | various | mandatory
|
| 251-0239-00 | G | Trusted Components: Reuse, Contracts and Patterns | Bertrand Meyer, Manuel Oriol | English | 3 | Mon 09:00-11:00 Wed 10:00-11:00 |
Mon: IFW C42 Wed: RZ F21 |
5 / 3 |
| 251-0273-00 | V | Software engineering for outsourced and offshore development | Peter Kolb, Bertrand Meyer | English | 2 | Wed 08:00-10:00 | RZ F21 | 4 |
|
SS 2005 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 252-058-00 | Formal Methods and Functional Programming | David Basin, Jean-Raymond Abrial | English | 3 | Tue 08:00-11:00 |
HG E7 | 6 | |
| 252-0050-00 | V | Software Architecture | Bertrand Meyer | English | 2 | Wed
08:00-10:00 |
HG F3 | mandatory |
| 252-0050-00 | U | Software Architecture | Bertrand Meyer | German/English | 1 | Tue 14:00-15:00 |
various | mandatory |
| 251-0268-00 | V/U | Concurrent Object-Oriented Programming | Bertrand Meyer, Patrick Eugster |
English | 2+1 | Tue 13:00-16:00 | RZ E21 | 5 / 4 |
| 251-0250-00 | V | Object-Oriented Software Construction | Bertrand Meyer | English | 3 | Mon 9:00-11:00 Wed 13:00-14:00 |
RZ F21 | 5 / 3 |
| 251-0276-00 | S | Software Engineering Seminar | Bertrand Meyer | English | 2 | Mon 14:00-16:00 |
IFW C42 | |
| 251-0270-00 | S | Concurrency Seminar | Bertrand Meyer, Patrick Eugster | English | 1 | Tue 16:00-18:00 |
IFW C42 | |
|
WS 2004/2005 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 252-0001-00 | V
|
Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | German
|
4
|
Mon 13:00-15:00 Tue 08:00-10:00 |
Mon: HG E7 Tue: HG F1 |
mandatory
|
| 252-0001-00 | U
|
Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | German
|
3
|
various | various | mandatory
|
| 251-0239-00 | G
|
Trusted Components: Reuse, Contracts and Patterns | Bertrand Meyer, Karine Arnout | English
|
3
|
Mon 9:00-11:00
Wed 10:00-11:00 |
Mon: IFW C42 Wed: RZ F21 |
5 / 3
|
| 251-0237-00 | V/U
|
Konzepte
objektorientierter Programmierung |
Peter Müller | German
|
2+1
|
Thu 10:00-13:00 | IFW A36 | 5 / 4 (with exam) or 3
(without exam) |
| 251-0801-00 | G
|
Informatik-Projektentwicklung
|
Peter Müller | German
|
2
|
Mon 08:00-10:00 |
HG E 1.2 | 2 / 0
|
| 251-0211-00 | S
|
Spezifikation
und Verifikation objektorientierter Software |
Daniel Kröning, Peter Müller | German
|
2
|
Mon 13:00-15:00 | IFW B42 | 4 / 2
|
| 251-0271-00 | V/U
|
Practical System Modelling using Discrete Mathematics | Jean-Raymond Abrial | English
|
2+1
|
Fri 08:00-10:00 | IFW A32.1 | 5 / 4
|
| 251-0273-00 | V
|
Offshoring and Software Engineering | Peter Kolb, Bertrand Meyer | English
|
2
|
Wed 08:00-10:00 | RZ F21 | 4
|
|
||||||||
|
SS 2004 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students / PhD students)
|
| 251-0004-00 | V | Programming in the large (Informatik IV) | Bertrand Meyer | German | 3 | Mon 13:00-14:00 Wed 08:00-10:00 |
ML D28 | mandatory |
| 251-0004-00 | U | Programming in the large | Bertrand Meyer | English | 2 | Fri 10:00-12:00 or 13:00-15:00 | various | mandatory |
| 251-0264-00 | V/U | Semantik von Programmiersprachen | Peter Müller | German and English | 2+1 | Thu 09:00-12:00 | IFW B42 | 5 / 4 (with exam) or 3 (without exam) |
| 251-0266-00 | S | Referenzen und Aliasing in objektorientierten Programmen | Armin Biere, Peter Müller | English | 2 | Mon 13:00-15:00 | IFW C42 | 4 / 2 |
| 251-0268-00 | V/U | Concurrent Object-Oriented Programming | Bertrand Meyer, Arnaud Bailly |
English | 2+1 | Tue 13:00-16:00 | RZ F21 | 5 / 4 |
| 251-0270-00 | S | Concurrency seminar | Bertrand Meyer, Arnaud Bailly | English | 1 | Tue 16:00-17:00 | IFW C42 | 4 / 2 |
| 251-0250-00 | G | Object-Oriented Software Construction (ATOT) | Bertrand Meyer | English | 3 | Mon 9:00-11:00 Wed 13:00-14:00 |
RZ F21 | 5 / 3 |
| 251-0819-00 | V | FATS Formal Approaches to Software | Bertrand Meyer, Armin Biere, Robert Stärk | English | 1 | Wed 16:00-17:00 | IFW D42 | 1 |
|
||||||||
|
WS 2003/2004 |
||||||||
| Course code | Type | Name | Instructor | Language | Hours | Time | Place | Credits (students / PhD students) |
| 37-001 | V | Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | German | 4 | Mon 13:00-15:00 Tue 10:00-12:00 |
HG E7 | mandatory |
| 37-001 | U | Einführung in die Programmierung (1. Semester Bachelor-Studiengang) | Bertrand Meyer | German | 3 | Mon 15:00-16:00 Tue 13:00-15:00 |
various | mandatory |
| 37-239 | G | Trusted Components: principles, techniques, standards | Bertrand Meyer | English | 4 | Mon 09:00-11:00 Wed 10:00-12:00 |
Mon: IFW C42 Wed: RZ F21 |
6 / 4 |
| 37-237 | V/U | Konzepte
objektorientierter Programmierung |
Peter Müller | German | 2+1 | Thu 09:00-12:00 | IFW A36 | 5 / 4 (with exam) or 3 (without exam) |
| 37-801 | G | Informatik-Projektentwicklung | Peter Müller | German | 2 | Mon 08:00-10:00 | HG E 1.2 | 2 / 0 |
| 37-211 | S | Spezifikation und Verifikation objektorientierter Software | Armin Biere, Peter Müller | German | 2 | Wed 13:00-15:00 | IFW C42 | 4 / 2 |
|
||||||||
|
SS 2003 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students/PhD students) |
| 37-250 | G | Advanced Topics in Object Technology | Bertrand Meyer | English | 4 | Mon 09:00-11:00 Wed 10:00-12:00 |
IFW E42 | 6 / 4 |
|
WS 2002/2003 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students/PhD students) |
| 37-239 | G | Trusted Components: principles, techniques, standards | Bertrand Meyer | English | 4 | Mon 09:00-11:00 Wed 10:00-12:00 |
Mon: IFW A32 Wed: RZ F21 |
6 / 4 |
|
SS 2002 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students/PhD students) |
| 37-250 | G | Advanced Topics in Object Oriented Development | Bertrand Meyer | English | 4 | Mon 9:00-11:00 Wed 10:00-12:00 |
RZ F21 | 6 / 4 |
|
WS 2001/2002 |
||||||||
| Course code | Type | Name | Instructor | Language
|
Hours | Time | Place | Credits (students/PhD students) |
| 37-239 | G | Trusted Components: principles, techniques, standards | Bertrand Meyer | English | 4 | Mon 9:00-11:00 Wed 10:00-12:00 |
Mon: IFW A32 Wed: IFW D42 |
6 / 4 |