RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications in the frame of project 'Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles'		Technical Reports in the frame of project 'Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles'		Talks in the frame of project 'Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles'

RISC Publications and Technical Reports in the frame of project 'Introducing Syntactical Constraints in Object-Oriented Programming Supporting Design Pattern Principles'

2010

Wolfgang Schreiner. A JML Specification of the Design Pattern "Visitor". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2010. [pdf] [bib]
Gergely Kovasznai. Implementing Design Patterns in AspectJ and JavaMOP. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, December 2010. [pdf] [bib]
Wolfgang Schreiner. From Types to Contracts: Supporting by Light-Weight Specifications the Liskov Substitution Principle. Technical report no. 10-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online). February 2010. [pdf] [bib]

2009

Wolfgang Schreiner. A JML Specification of the Design Pattern "Proxy". Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2009. [pdf] [bib]
Gergely Kovasznai. Java Framework Implementing Design Patterns by the Use of JML and Contract4J. Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, 2009. [pdf] [bib]
Wolfgang Schreiner. Supporting the Design Pattern "Object Structures as Plain Values". Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. Technical report, September 2009. [pdf] [bib]