Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles
Sprache der Bezeichnung:
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.