Use of patterns in formal development: Systematic transition from problems to architectural designs

Abstract

We present a pattern-based software lifecycle and a method that supports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved. In a second phase, architectural styles are used to construct an architectural specification of the software system to be developed. That specification forms the basis for fine-grained design and implementation. © Springer-Verlag Berlin Heidelberg 2003.