Items related to Software Specification Methods: An Overview Using a...
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT)) - Softcover
Synopsis
Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast easily. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations.
"synopsis" may belong to another edition of this title.
From the Back Cover
This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
About the Author
Henri Habrias, University of Nantes, France
Marc Frappier, University of Sherbrooke, Canada
"About this title" may belong to another edition of this title.
Search results for Software Specification Methods: An Overview Using a...
Seller Image
Software Specification Methods: An Overview Using a Case Study
Published by
Springer Verlag London, London, 2000
ISBN 10: 1852333537
ISBN 13: 9781852333539
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Paperback in very good condition. Covers are a little scuffed. Edges, corners and spine ends are slightly bumped and rubbed. Binding is sound and pages are clear. LW. Used. Seller Inventory # 611677
Buy Used
US$ 54.05
US$ 16.82 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Software Specification Methods: An Overview Using a Case Study
Seller: Almacen de los Libros Olvidados, Barakaldo, BI, Spain
Seller rating 5 out of 5 stars
tapa blanda. Condition: 2ª Mano - Bueno. Dust Jacket Condition: 2ª Mano. Springer Verlag. 2000. Idioma: Inglés. sellos. Libro. Seller Inventory # 178182
Buy Used
US$ 89.05
US$ 32.56 shipping
Ships from Spain to U.S.A.
Ships from Spain to U.S.A.
Quantity: 1 available
Stock Image
Software Specification Methods : An Overview Using a Case Study
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 890786-n
Seller Image
Software Specification Methods
Published by
Springer London Okt 2000, 2000
ISBN 10: 1852333537
ISBN 13: 9781852333539
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an invoicing system, to enable the reader to compare and contrast easily. Among the techniques covered are: UML; Z; SAZ; B; JSD; OMT; VHDL; Estelle; SDL; LOTOS. This book is intended for industrial and commercial practitioners who need to expand their knowledge of software specification methods. This book provides a basic overview of the main methods, with a practical focus which allows readers to apply their knowledge to real-life situations. 312 pp. Englisch. Seller Inventory # 9781852333539
Buy New
US$ 129.92
US$ 25.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Software Specification Methods
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This is the only up-to-date survey of specification techniquesSoftware Specification Methods provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study, an i. Seller Inventory # 4289495
Buy New
US$ 106.71
US$ 55.01 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Software Specification Methods : An Overview Using a Case Study
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9781852333539
Buy New
US$ 144.39
US$ 39.30 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 282 pages. 9.25x6.00x0.75 inches. In Stock. Seller Inventory # x-1852333537
Buy New
US$ 177.64
US$ 13.46 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Software Specification Methods
Published by
Springer London, Springer London Okt 2000, 2000
ISBN 10: 1852333537
ISBN 13: 9781852333539
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 312 pp. Englisch. Seller Inventory # 9781852333539
Buy New
US$ 123.73
US$ 67.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Software Specification Methods : An Overview Using a Case Study
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 890786
Stock Image
Software Specification Methods: An Overview Using a Case Study (Formal Approaches to Computing and Information Technology (FACIT))
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA75818523335375
Buy Used
US$ 174.63
US$ 33.64 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available