RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

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
Hungary: Esterhazy Karoly College

Reports and Publications

Internals

Source Code (protected)
JML API Documentation (protected)

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