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

Announcements

The dates for the oral exams have been fixed to 3th August 2012 and 29th August 2012. If you want to take an exam at one of these dates, please register with our secretary or write an e-mail to Judith Stengel. (Please be aware that our secretary is now on vacation and will be back at July 23.)

Content

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 “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.

Lecture

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.

  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 (see also slides on JCoBox])
  7. Program Frameworks
  8. Component Software

Practice

The practice aims at consolidating acquired knowledge with the help of exercises. Students will present their solutions and discuss them with the tutor. You are allowed to work in groups. For group work, please send your solution in only once.

The exercise session takes place on Wednesdays, 10:00 in room 42-110.

Exercise Sheets

Exercise Material Hints and Comments
1 PDF PDF
2 PDF Source Compatibility Checker PDF
3 PDF ObjectOutputStream.java PDF Persistency.zip
4 PDF Exercise04.zip PDF NonNull
5 PDF webserver.zip PDF Delegation
6 PDF PDF
7 PDF PDF
8 PDF ConfinedTypes PDF
9 PDF PDF
10 PDF PDF
11 PDF ChatServer.java PDF ChatServer(Threads)
12 PDF JCoBoxChat GUI PDF JCoBoxChat RMI
13 PDF rangliste_awt Implementations
14 PDF

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