Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles

This joint project with the Esterhazy Karoly College in Hungary runs from January 1, 2009 to December 31, 2010. It is sponsored by the Austrian Academic Exchange Service under the contract HU 14/2009.

The goal of the proposed project is twofold:

  1. Study empirically which principles of design patterns programmers use (or do not use).
  2. Design simple syntactical elements, like annotations and assertions, for object-oriented languages that support the principles of design patterns. Propose default annotations for basic object-oriented programming elements, like attributes and methods. Give these elements a formal semantics and/or rules for reasoning about them.


Austria: Research Institute for Symbolic Computation
Hungary: Esterhazy Karoly College

Reports and Publications


Source Code (protected)
JML API Documentation (protected)

Wolfgang Schreiner
Last modified: Tue Aug 4 08:49:51 CEST 2009