Specification of Software Systems (Texts in Computer Science) Book + PRICE WATCH * Amazon pricing is not included in price watch

Specification of Software Systems (Texts in Computer Science) Book

This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may their first encounter with formal specification. It is based on graduate courases and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z in some depth. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.Read More

from£26.65 | RRP: £59.99
* Excludes Voucher Code Discount Also available Used from £14.61
  • 0387984305
  • 9780387984308
  • V.S. Alagar, K. Periyasamy
  • 1 October 1998
  • Springer
  • Hardcover (Book)
  • 422
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.