A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Component-based tool for verifying applications using object-oriented patterns
2002
Journal of Computer Science and Technology
Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally specified a metamodel where properties of patterns and object-oriented design can be rigorously described. In the present work, our formal basis is used to build a component-based tool for verifying proper applications
doaj:00f272dd26ee4d5a97ea8c522b960c83
fatcat:cnge3wbvmndxffy3hfkbdlmzyu