Wolfgang Schreiner,
"A JML Specification of the Design Pattern "Proxy""
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, RISC, JKU Linz, Schloss Hagenberg, 4232 Hagenberg, 4-2009
Original Titel:
A JML Specification of the Design Pattern "Proxy"
Sprache des Titels:
Englisch
Original Kurzfassung:
We describe a generic Java framework that implements the software design pattern ``proxy'' (in two variants ``virtual proxy'' and ``remote proxy'') and that is formally specified in the Java Modeling Language (JML). In addition to the information provided by a typical UML specification of the pattern, the JML specification exactly describes how a request issued to the proxy is propagated to the underlying object and how the result is forwarded from this object to the user of the proxy
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU Linz
Verlagsanschrift:
Schloss Hagenberg, 4232 Hagenberg
Serie:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria
Forschungs-