T Mikkonen - Proceedings of the 20th international conference …, 1998 - ieeexplore.ieee.org
Design patterns facilitate reuse of good design practices. They are typically given by using
conventional notations that lack well-defined semantics and, therefore reasoning about their …