Automated verification of design patterns: A case study
The problem of conformance of evolving programs to design decisions motivates this paper. A leading example demonstrates using a tool to fully automate conformance checking. Java?s AWT package conforms to the Composite pattern is formalized and proven. A tool for specifying visually the pattern and verifying conformance of Java code is shown.
automated verification object-oriented design modeling and specification visual languages design description languages