"Contracts, Scenarios and Prototypes - An Integrated Approach to High Quality Software"
, Springer, Springer-Verlag Berlin Heidelberg, 2004, ISBN: 3-540-43486-0
Contracts, Scenarios and Prototypes - An Integrated Approach to High Quality Software
Sprache des Titels:
In the first part of this book (Chapters 1-4) we present the concepts of assertions and scenarios. In this part, assertions are dealt with in the tradition of Hoare triples and their predecessors, without taking into consideration other interesting streams of research in the field of type theory or behavioral specifications (these are postponed until the third part). Nevertheless, this part builds a sound basis by providing the theoretic foundations and limitations of assertion techniques. Currently, assertion techniques are more widely used in late design and implementation phases, but hardly at all in analysis. We therefore present the role of assertion techniques in analysis. As the popular UML contains an assertion language called Object Constraint Language (OCL), this language is presented and compared with other currently available assertion techniques. Best practices to be considered when applying assertion techniques throughout analysis and early design are discussed. Scenarios are introduced in a similar way, beginning with basic concepts, terminology, kinds of notation, and so on. As scenarios play an important role in UML too, we describe the scenario approach as defined by UML in the context of the general concepts and principles. The part about scenarios concludes with best practices for using scenarios in analysis. The second part of this book (Chapters 5-7) focuses on a prototyping-oriented software development approach and presents general terminology, concepts, and success stories of prototyping-oriented software development. Assertion and scenario techniques are combined into a single methodological framework, and an approach model, as well as methodological issues, is presented. A case study shows the application of the approach.