Christine Choppy, Maritta Heisel. Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Volume 2755 of Lecture Notes in Computer Science, pages 201-215, Springer, 2002. [doi]
Abstract is missing.