Advanced Aspects of Object-Oriented Programming (summer term 2010)


This lecture furthers knowledge and skills in the domain of object-oriented software development. Focus is on operational semantics of object-oriented languages, modularity and encapsulation, typing and type systems, and specification of program properties including tools and techniques supporting verification and checking. Further information is available in the corresponding KIS entry and the “Modulhandbuch” for Bachelor & Master Studies.

Please do not hesitate to get in touch with the contact person listed below in case of questions or problems.


The lecture will take place on Tuesdays in room 48-462 at 11:45.

The lecture is structured into the following chapters. The slides for the chapters will usually be made available at least a day before the lecture.

Chapters for which the slides are available:

  1. Introduction
  2. Objects, Classes, Inheritance
  3. Subtyping and Parametric Types
  4. Object Structures, Aliasing, and Encapsulation
  5. Specification and Checking
  6. Concurrency and Distribution
  7. Program Frameworks
  8. Component Software (Updated June 12)


The practice aims at consolidating acquired knowledge with the help of exercises. Students will present their solutions and discuss them with the tutor.

The exercises will take place on Thursdays in room 48-462 at 12:45. You are allowed to work in groups. For group work, please send your solution in only once.

Hints and Comments on the exercises

Additional Sources

If you have any questions regarding the exercises, do not hesitate to get in touch with the contact person listed below.

Contact Person

Kathrin Geilmann