Szukana fraza: [Abstract = "Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above\-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them."]