• Automatic Verification of Java...

Treffer: Automatic Verification of Java Design Patterns

Title:
Automatic Verification of Java Design Patterns
Authors:
Alex Blewitt, Alan Bundy, Ian Stark
Contributors:
The Pennsylvania State University CiteSeerX Archives
Source:
http://homepages.inf.ed.ac.uk/stark/autvjd.pdf.
Collection:
CiteSeerX
Document Type:
Fachzeitschrift text
File Description:
application/pdf
Language:
English
Relation:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9295; http://homepages.inf.ed.ac.uk/stark/autvjd.pdf
Availability:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9295
http://homepages.inf.ed.ac.uk/stark/autvjd.pdf
Rights:
Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number:
edsbas.A3898DCE
Database:
BASE

Weitere Informationen

Design patterns are widely used by object oriented designers and developers for building complex systems in object oriented programming languages such as Java. However, systems evolve over time, increasing the chance that the pattern in its original form will be broken. We attempt