Software Specification Methods
An Overview Using a Case Study
Fr. 150.00
inkl. gesetzl. MwSt.Beschreibung
Details
Einband
Taschenbuch
Erscheinungsdatum
16.10.2000
Herausgeber
Marc Frappier + weitereVerlag
Springer LondonSeitenzahl
282
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 questions raised depend on the method, which is illustrative of the differences between them.
Weitere Bände von Formal Approaches to Computing and Information Technology (FACIT)
-
Zur Artikeldetailseite von Software Specification Methods des Autors Marc Frappier
Marc Frappier
Software Specification MethodsBuch
Fr. 150.00
-
Zur Artikeldetailseite von Industrial-Strength Formal Methods in Practice des Autors Michael G. Hinchey
Michael G. Hinchey
Industrial-Strength Formal Methods in PracticeBuch
Fr. 191.00
-
Zur Artikeldetailseite von High-Integrity System Specification and Design des Autors Jonathan P. Bowen
Jonathan P. Bowen
High-Integrity System Specification and DesignBuch
Fr. 72.90
-
Zur Artikeldetailseite von Program Development by Refinement des Autors Emil Sekerinski
Emil Sekerinski
Program Development by RefinementBuch
Fr. 239.00
-
Zur Artikeldetailseite von Proof in VDM: Case Studies des Autors Juan C. Bicarregui
Juan C. Bicarregui
Proof in VDM: Case StudiesBuch
Fr. 137.00
-
Zur Artikeldetailseite von Formal Methods in Human-Computer Interaction des Autors Philippe Palanque
Philippe Palanque
Formal Methods in Human-Computer InteractionBuch
Fr. 72.90
-
Zur Artikeldetailseite von A Theory and Practice of Program Development des Autors Derek J. Andrews
Derek J. Andrews
A Theory and Practice of Program DevelopmentBuch
Fr. 72.90
-
Zur Artikeldetailseite von The B Language and Method des Autors Kevin Lano
Kevin Lano
The B Language and MethodBuch
Fr. 118.00
-
Zur Artikeldetailseite von Formal Methods and Object Technology des Autors Stephen J. Goldsack
Stephen J. Goldsack
Formal Methods and Object TechnologyBuch
Fr. 137.00
-
Zur Artikeldetailseite von Formal Object-Oriented Development des Autors Kevin Lano
Kevin Lano
Formal Object-Oriented DevelopmentBuch
Fr. 72.90
-
Zur Artikeldetailseite von On the Refinement Calculus des Autors Carroll Morgan
Carroll Morgan
On the Refinement CalculusBuch
Fr. 72.90
-
Zur Artikeldetailseite von Notations for Software Design des Autors Loe M.G. Feijs
Loe M.G. Feijs
Notations for Software DesignBuch
Fr. 72.90
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen