Component-based tool for verifying applications using object-oriented patterns
Applying design patterns is considered a helpful technique for designing software systems.Patterns description, however, results not sufficiently precise providing a wella color touch 77 45 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 patte