Software Specification Methods: An Overview Using a Case Study by Marc Frappier

Description: Software Specification Methods by Marc Frappier, Henri Habrias Objectives of this Book This book is an introduction to a set of software specification methods. The same case study is used to introduce each method, following a rigorously uniform presentation format. 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. FORMAT Paperback LANGUAGE English CONDITION Brand New Publisher Description This volume 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 and LOTOS. Most specification courses tend to focus on one or two key techniques and to have a theoretical bias this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It hopes to prove to be useful reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods. Author Biography Henri Habrias, University of Nantes, France Marc Frappier, University of Sherbrooke, Canada Table of Contents I State-Based Approaches.- 1 Z: A Formal Specification Notation.- 2 SAZ: SSADM Version 4 and Z.- 3 B: A Model-Based Method Using Generalised Substitutions.- 4 From OMT Diagrams to B Specifications.- II Event-Based Approaches.- 5 Action Systems: A Method Combining State-Based and Event-Based Specification.- 6 Using UML with a Behaviour-Driven Method.- 7 VHDL: A Hardware Description Language and its Simulation Semantics.- 8 Estelle: A Formal Description Technique.- 9 SDL: A Language Based on Extended Finite State Machines with Abstract Data Types.- 10 (E)-Lotos: (Enhanced) Language of Temporal Ordering Specification.- 11 Specifying a Cleanroom Black Box Using JSD.- III Other Formal Approaches.- 12 Algebraic Specification in Casl.- 13 An Abstract and Constructive Specification in Coq.- 14 Petri Nets: A Graphical Tool for System Modelling and Analysis.- 15 Using Petri Nets and Objects: A Formal yet Expressive Approach. Promotional Springer Book Archives Long Description Objectives of this Book This book is an introduction to a set of software specification methods. Its tar Feature This is the only up-to-date survey of specification techniques Details ISBN1852333537 Author Henri Habrias Publisher Springer London Ltd ISBN-10 1852333537 ISBN-13 9781852333539 Format Paperback Imprint Springer London Ltd Subtitle An Overview Using a Case Study Place of Publication England Country of Publication United Kingdom DEWEY 005.1 Edition 1st Year 2000 Publication Date 2000-10-16 Edited by Marc Frappier Short Title SOFTWARE SPECIFICATION METHODS Language English Media Book Affiliation University of Nantes, France Pages 282 Series Formal Approaches to Computing and Information Technology (FACIT) Illustrations 7 Illustrations, black and white; XXIV, 282 p. 7 illus. DOI 10.1007/b80908;10.1007/978-1-4471-0701-9 AU Release Date 2000-10-16 NZ Release Date 2000-10-16 UK Release Date 2000-10-16 Edition Description Softcover reprint of the original 1st ed. 2001 Audience Undergraduate We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96317960;

Price: 217.11 AUD

Location: Melbourne

End Time: 2024-12-13T20:00:36.000Z

Shipping Cost: 9.84 AUD