@techreport{RISC3872,author = {Gergely Kovasznai},
title = {{Java Framework Implementing Design Patterns by the Use of JML and Contract4J}},
language = {english},
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.},
year = {2009},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria},
sponsor = {Austrian Academic Exchange Service ({\"O}AD) under the contract HU~14/2009},
length = {17}
}