Opening book details…
Can I read Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) on EtoBox?
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) by Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.) is a nonfiction available to read on EtoBox.
What is Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) about?
Objectives of this Book This book is an introduction to a set of software specification methods. Its tar geted 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 two-fold. 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 pro gressively introduced when they are needed. To illustrate the specification pro cess, 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 que
Who reads Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
- Publisher
- Springer-Verlag London
- Published
- 2001
- Language
- EN
- ISBN
- 9781852333539
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Browse all works by Jonathan P. Bowen (auth.), Marc Frappier, Henri Habrias (eds.)
Similar books
- Constructing Correct Software (Formal Approaches to Computing and Information Technology (FACIT)) — D. John Cooke (2005)
- A Theory and Practice of Program Development (Formal Approaches to Computing and Information Technology (FACIT)) — Andrews, Derek J., (1997)
- Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT)) — Loe M. G. Feijs, Hans B. M. Jonkers, Cornelis A. Middelburg (auth.) (1994)
- Formal Methods and Object Technology (Formal Approaches to Computing and Information Technology (FACIT)) — Stephen J Goldsack; Stuart John Harding Kent (2012)
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) — Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (1999)
- Formal Object-oriented Development (formal Approaches To Computing And Information Technology (facit)) — Kevin Lano BSc, MSc, PhD (auth.) (1995)
