A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Precise Specification of Design Pattern Structure and Behaviour
[chapter]
2010
Lecture Notes in Computer Science
Applying design patterns while developing a software system can improve its non-functional properties, such as extensibility and loose coupling. Precise specification of structure and behaviour communicates the invariants imposed by a pattern on a conforming implementation and enables formal software verification. Many existing design-pattern specification languages (DPSLs) focus on class structure alone, while those that do address behaviour suffer from a lack of expressiveness and/or
doi:10.1007/978-3-642-13595-8_22
fatcat:4iz3dfn27zcxrimp6kq6qu4xbm