Informally described design patterns are useful for communicating proven solutions for
recurring design problems to developers, but they cannot be used as compliance points …

Test data generation and test execution are both time-consuming activities when done
manually. Automated testing methods promise to save a great deal of human effort. This …

Prior research attempts to formalize the structure of object-oriented design patterns for a
more precise specification of design patterns. It also allows automation support to be …

Design patterns are generic design solutions that can be applied and composed in different
applications where pattern-related information is generally implicit in the Unified Modeling …

Knowledge about design pattern (DP) instances improves program comprehension and
reengineering of object‐oriented systems. Effectively, it helps to discover developer design …

The formal specification of design patterns is widely recognized as being vital to their
effective and correct use in software development. It can clarify the concepts underlying …

During the initial stages of software development, the primary goal is to define precise and
detailed requirements without concern for software realizations. Security constraints should …

UML semantic variation points provide intentional degrees of freedom for the interpretation
of the metamodel semantics. The interest of semantic variation points is that UML now …

The problem domain of a design pattern describes the problem context in which the pattern
can be applied. In general, determining the applicability of a pattern to a particular problem …

Separation of concerns is a basic engineering principle that is also at the core of object-
oriented analysis and design methods in the context of the Unified Modeling Language …