Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Pattern hatching: design patterns applied
Pattern hatching: design patterns applied
The Java Language Specification
The Java Language Specification
A Methodology for the Automated Introduction of Design Patterns
ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Automatic verification of design patterns in Java
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Experiments on Design Pattern Discovery
PROMISE '07 Proceedings of the Third International Workshop on Predictor Models in Software Engineering
Combating architectural degeneration: a survey
Information and Software Technology
A matrix-based approach to recovering design patterns
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Automatic incrementalization of prolog based static analyses
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
| Hi-index | 0.00 |
Design patterns are widely used by object oriented designersand developers for building complex systems in objectoriented programming languages such as Java. However,systems evolve over time, increasing the chance thatthe pattern in its original form will be broken.We attempt to show that many design patterns (implementedin Java) can be verified automatically. Patterns aredefined in terms of variants, mini-patterns, and artifacts ina pattern description language called SPINE. These specificationsare then processed by Hedgehog, an automatedproof tool that attempts to prove that Java source codemeets these specifications.