Gergely Kovasznai, Wolfgang Schreiner,
"Java Framework Implementing Design Patterns by the Use of JML and Contract4J"
, Serie RISC Technical Reports, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 2009
Original Titel:
Java Framework Implementing Design Patterns by the Use of JML and Contract4J
Sprache des Titels:
Englisch
Original Kurzfassung:
We develop a generic Java framework that implements software design patterns. In this paper, the Decorator and State patterns are focused. Nevertheless, our current results can be considered in connection with any design pattern which employs delegation constraints. We investigate how such constraints could be expressed in Java by the help of Design-by- Contract tools like JML or Contract4J. Furthermore, we illustrate how to use our generic framework, through examples.