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.

Partners

Austria: Research Institute for Symbolic Computation

• Wolfgang Schreiner
• Gabor Guta

Hungary: Esterhazy Karoly College

• Gabor Kusper
• Janos Sztrik
• Gergely Kovasznai

Reports and Publications

Internals

Source Code (protected)
JML API Documentation (protected)

---

Wolfgang Schreiner

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