@techreport{f4c2a68ad05f4cef91eb9fb583907ca1,
title = "Java Framework Implementing Design Patterns by the Use of JML and Contract4J",
abstract = "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.",
author = "Gergely Kovasznai and Wolfgang Schreiner",
year = "2009",
language = "English",
series = "RISC Technical Reports",
publisher = "RISC, JKU-Linz",
type = "WorkingPaper",
institution = "RISC, JKU-Linz",
}