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

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.