Download App
| >> | LShop | >> | Book | >> | Computing & Informat... | >> | Computer Science | >> | Software Specificati... |
Software Specification Methods
-
ISBN
:
9781905209347
-
Publisher
:
Iste Special Priced Titles
-
Subject
:
Computer Science, Computer Programming / Software Development
-
Binding
:
Hardcover
-
Pages
:
418
-
Year
:
505
₹
1295.0
₹
1295.0
1295.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View DetailsEstimated Shipping Time : 5-7 Business Days
View Details
-
Description
This book introduces several key software specification methods. Each method is presented using the same example, an invoicing system, allowing the reader to compare and contrast. Every chapter follows a rigorous pattern whereby techniques and notations are gradually introduced through questions which are asked to an imaginary user.Most specification courses tend to focus on one or two key techniques and have a theoretical bias; however, 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.Essential reading for all industrial and commercial practitioners, this book will help to expand their knowledge of software specification methods.
Related Items
-
of
877.0
