| This book is an introduction to a set of software specification methods. Its targeted audience are readers who do not wish to read pages of definitions in order to understand the basics of a method. The same case study is used to introduce each method, following a rigorously uniform presentation format. Special care has been devoted to ensure that specifications do not deviate from the case study text. As much as the method allows, what is specified is what appears in the case study text. The benefits are twofold. First, the reader can easily switch from one method to another, using his knowledge of the case study as a leverage to understand a new method. Second, it becomes easier to compare methods, because the same behavior is specified in each case.
Each method presentation follows the same pattern. The concepts are progressively introduced when they are needed. To illustrate the specification process, questions that the specifier should raise during the analysis of the case study are stated. Answers are provided as if they were given by an imaginary client. The question/answer process guides the derivation of the specification. Interestingly, the questions raised depend on the method, which is illustrative of the differences between them. When a question is raised in one method and not in another, the reader has an issue to resolve: does the other method allow this question? If so, what should the answer be? As such, this book is a trigger to stimulate the reader’s curiosity about specification methods; it does not intend to provide all the answers. More elaborate materials are referenced in each chapter for a deeper coverage.
About the Author
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada |
|
