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:
- Study empirically which principles of design patterns programmers use (or
do not use).
- 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
JML API Documentation
Last modified: Tue Aug 4 08:49:51 CEST 2009