LecturerProf. Dr. Peter Thiemann
Time and PlaceMo 14-16, HS 00-026, Geb. 101
 Do 12-13, HS 00-026, Geb. 101
 (course catalog)
AssistantsSergio Feo-Arenis

Sergiy Bogomolov


Time and PlaceDo 13-14, HS 00-026, Geb. 101
TutorsBetim Musa (musab@info...)
 Sprechstunde: Friday 13-14, room 00-016, building 052
 David Speck (david.speck@pluto.uni-fr...)
 Sprechstunde: Wednesday 13-14, room 00-016, building 052


Time and PlaceFriday, 12.09.2014, time and place: TBA
RulesFor the exam, you may bring two handwritten sheets of material of your choice. Also, a dictionary English-(your favorite language) is allowed.



The exam review for the second exam will take place on:

  • Thursday, April 16th from 13:00 to 17:00 in the room 00-021, Building 052.
  • Tuesday, April 21st from 16:00 to 18:00 in the room 00-016, Building 052.
  • If you can't make it to any of those, please contact Sergio for an appointment before Friday, April 24th.
20.10.2014The exam review will take place on Wednesday, October 22nd from 16:30 to 18:00 in the room 00-016, Building 052.
03.07.2014The consultation hour with the tutor for tomorrow Friday, July 4th cannot take place due to unforeseen circumstances. Should you have any questions, please contact the tutors directly via e-mail.
15.05.2014The first discussion group will be held on Friday, May 16, at 13h.
05.05.2014A special guest lecture on Agile Processes will be held on May 12th, 14h.
22.04.2014No lecture on April 28th. The lectures will start on May 5th at the announced time and place. Thank you for your understanding!  


2014-05-08Processes (cont'd), Requirements  
2014-05-12Guest Lecture: Agile Software Development with Scrum (Dr. Oliver Ciupke)  
2014-05-15Requirements (cont'd)  
2014-05-19The B Specification Method  
2014-05-22The B Specification Method (cont'd)  
2014-05-26Object-oriented analysis  
2014-06-02Design Intro , Design by Contract  
2014-06-05Design by Contract (cont'd)  
2014-06-16Design by Contract (cont'd; slides updated)  
2014-06-23Program Verification   
2014-06-26OCL - Object Constraint Language   
2014-06-30Design Patterns   
2014-07-03Components and Middleware   
2014-07-06Testing and Debugging (Intro)   
2014-07-14Testing I   
2014-07-17Testing II , Concolic Testing (DART)  
2014-07-21Debugging I   
2014-07-24Debugging I (cont'd)  
2014-07-28Debugging II   


DateDue dateSheetMaterial
2014-06-192014-06-26ex04.pdfStack.java, ex04-sol.pdf
2014-07-042014-07-10ex06.pdfex06-sol.pdf, ex2.pseudo.java
2014-07-252014-07-31ex09.pdfex09-sol.pdf, Processing.java
2014-08-01This exercise sheet is optional and thus will not be marked.ex10.pdfex10-sol.pdf

Course Management

Please submit your exercises using Daphne course management system. Please state your name on every page of the exercise sheet you submit. Note that we accept submissions only in PDF format.



  1. Steven McConnell. Code Complete, 2ed.. Microsoft Press.
  2. Object-Oriented Software Engineering Using UML, Patterns, and Java (3rd Edition). Bernd Bruegge and Allen H. Dutoit. Prentice Hall.
  3. Ian Summerville. Software Engineering. Pearson Studium.
  4. Helmut Balzert. Lehrbuch der Softwaretechnik: Basiskonzepte und Requirements Engineering. Spektrum Akademischer Verlag.
  5. Bernd Oestereich. Analyse und Design mit UML 2.3. Oldenbourg Verlag, München.


  1. Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley. 1994.
  2. Martin Fowler. UML Distilled: A Brief Guide to the Standard Object Modeling Language. Addison-Wesley. 2003.
  3. Steve Schneider. The B-Method: an Introduction, Palgrave Cornerstones in Computer Science. 2001.
  4. Thomas Stahl, Markus Völter. Model-Driven Software Development. Wiley & Sons. 2006.
  5. Anneke Kleppe, Jos Warmer. MDA Explained: The Model Driven Architecture: Practice and Promise. Pearson. 2003.
  6. Stephen J. Mellor, Axel Uhl, Kendall Scott, Dirk Weise. MDA Distilled: Solving the Integration Problem with the Model Driven Architecture. Pearson. 2004.