+612 9045 4394
 
CHECKOUT
Software Specification Methods : An Overview Using a Case Study : Formal Approaches to Computing and Information Technology, - Marc Frappier

Software Specification Methods : An Overview Using a Case Study

Formal Approaches to Computing and Information Technology,

By: Marc Frappier (Editor), Henri Habrias (Editor)

Paperback

Ships: 5 to 9 business days
5 to 9 business days
$158.39
or 4 easy payments of $39.60 with Learn more

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.

List of Contributors
Z: A Formal Specification Notationp. 3
SAZ: SSADM Version 4 and Zp. 21
B: A Model-Based Method Using Generalised Substitutionsp. 39
From OMT Diagrams to B Specificationsp. 57
Action Systems: A Method Combining State-Based and Event-Based Specificationp. 81
Using UML with a Behaviour-Driven Methodp. 97
VHDL: A Hardware Description Language and its Simulation Semanticsp. 113
Estelle: A Formal Description Techniquep. 131
SDL: A Language Based on Extended Finite State Machines with Abstract Data Typesp. 147
(E)-Lotos: (Enhanced) Language of Temporal Ordering Specificationp. 165
Specifying a Cleanroom Black Box Using JSDp. 191
Algebraic Specification in CASLp. 209
An Abstract and Constructive Specification in Coqp. 225
Petri Nets: A Graphical Tool for System Modelling and Analysisp. 241
Using Petri Nets and Objects: A Formal yet Expressive Approachp. 259
Indexp. 279
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9781852333539
ISBN-10: 1852333537
Series: Formal Approaches to Computing and Information Technology,
Audience: General
Format: Paperback
Language: English
Number Of Pages: 282
Publisher: Springer London Ltd
Country of Publication: GB
Dimensions (cm): 23.47 x 15.65  x 2.03
Weight (kg): 0.49