•
1 1

Software Specification Methods by Marc Frappier

Checking stock...
Checking stock...

Part of Formal Approaches To Computing And Information Technology series

Summary

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.

The feel-good place to buy books
  • Free US shipping over $15
  • Buying preloved emits 41% less CO2 than new
  • Millions of affordable books
  • Give your books a new home - sell them back to us!

Software Specification Methods by Marc Frappier

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.

You might also like

More books in the Formal Approaches To Computing And Information Technology series
View all
SKU Unavailable
ISBN 13 9781852333539
ISBN 10 1852333537
Title Software Specification Methods
Author Marc Frappier
Series Formal Approaches To Computing And Information Technology
Condition Unavailable
Binding Type Paperback
Publisher Springer London Ltd
Year published 2000-10-16
Number of pages 282
Cover note Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Customers who bought this item also bought