.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Software Specification Methods
. Ed(S): Habrias, Henri; Frappier, Marc
€ 127.97
FREE Delivery in Ireland
Description for Software Specification Methods
Paperback. This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using an invoicing system to enable the reader to compare and contrast. Some techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS. Editor(s): Habrias, Henri; Frappier, Marc. Series: Formal Approaches to Computing & Information Technology (FACIT). Num Pages: 282 pages, 7 black & white illustrations, biography. BIC Classification: UF; UMX; UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 16. Weight in Grams: 440.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2000
Publisher
Springer London Ltd United Kingdom
Number of pages
282
Condition
New
Series
Formal Approaches to Computing & Information Technology (FACIT)
Number of Pages
282
Place of Publication
England, United Kingdom
ISBN
9781852333539
SKU
V9781852333539
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Software Specification Methods