A. Blewitt, A. Bundy, and I. Stark. Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on, (November 2001)
Abstract
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 to show that many design patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artifacts in a pattern description language called SPINE. These specifications are then processed by Hedgehog, an automated proof tool that attempts to prove that Java source code meets these specifications.
%0 Journal Article
%1 Blewitt—Verification—2001
%A Blewitt, A.
%A Bundy, A.
%A Stark, I.
%D 2001
%J Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
%K 700 java software
%P 324-327
%T Automatic verification of Java design patterns
%U http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=989821&isnumber=21331
%X 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 to show that many design patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artifacts in a pattern description language called SPINE. These specifications are then processed by Hedgehog, an automated proof tool that attempts to prove that Java source code meets these specifications.
@article{Blewitt—Verification—2001,
abstract = { 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 to show that many design patterns (implemented in Java) can be verified automatically. Patterns are defined in terms of variants, mini-patterns, and artifacts in a pattern description language called SPINE. These specifications are then processed by Hedgehog, an automated proof tool that attempts to prove that Java source code meets these specifications.},
added-at = {2009-04-29T16:46:22.000+0200},
author = {Blewitt, A. and Bundy, A. and Stark, I.},
biburl = {https://www.bibsonomy.org/bibtex/2d118629750b6ae2b9c1def5611e233a7/darkmoonsinger},
interhash = {b88478a41a0a1d3b58c1ba76dd375dcf},
intrahash = {d118629750b6ae2b9c1def5611e233a7},
issn = {1527-1366},
journal = {Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on},
keywords = {700 java software},
month = {Nov.},
pages = { 324-327},
timestamp = {2012-03-21T14:23:45.000+0100},
title = {Automatic verification of Java design patterns},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=989821&isnumber=21331},
year = 2001
}