Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)

0 avg rating
( 0 ratings by Goodreads )
 
9780471940067: Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
View all copies of this ISBN edition:
 
 

This book presents a novel view of formal methods, spanning the range of specification techniques. It provides a short overview of formal methods and detailed chapters on the two most popular languages, VDM and Z.

"synopsis" may belong to another edition of this title.

From the Back Cover:

Formal Methods Fact File VDM and Z Andrew Harry Formal methods provide a means of specifying computer systems that is unambiguous,concise and well suited to the development of complex software systems for which accuracy and reliability are critical. Heavily mathematical and seemingly difficult to learn, for many they hold little appeal. Andrew Harry speaks as a programmer who has travelled the difficult route to an understanding of formal methods techniques, and knows why it’s worth the effort. He explains, in refreshingly simple terms, what formal methods are, why we need them, what should motivate our choice of methods and how to use them effectively. The book presents a novel view of formal methods, spanning the range of specification techniques. An overview of the different styles of formal notation is followed by detailed chapters on the two most popular languages, VDM and Z, consistent with the latest draft standards. There is a readable account of the underlying maths, a short introduction to semantics for proof, and a survey of tools available. Teaching aids include quick reference appendices on the notation and syntax of VDM and Z; exercises (and their solutions); and a useful glossary of terms. A more populist account than most, this book’s "informal" treatment of the subject will appeal to students and industrial programmers who want to know more but find little on the shelves for the novice. Visit our Web page! http://www.wiley.com/compbooks/

Synopsis:

This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780471958574: Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)

Featured Edition

ISBN 10: 0471958573 ISBN 13: 9780471958574
Publisher: John Wiley & Sons, 1996
Softcover

Top Search Results from the AbeBooks Marketplace

Stock Image

1.

Harry, Andrew
Published by United Kingdom: John Wiley & Son Ltd (1996)
ISBN 10: 0471940062 ISBN 13: 9780471940067
New Soft cover Quantity Available: 5
Seller:
LINDABOOK
(Taipei, TP, Taiwan)

Book Description United Kingdom: John Wiley & Son Ltd, 1996. Soft cover. Condition: New. Ship out 1-2 business day,Brand new,US edition, Free tracking number usually 2-4 biz days delivery to worldwide Same shipping fee with US, Canada,Europe country, Australia, item will ship out from either LA or Asia,ht. Seller Inventory # ABE-7651742695

More information about this seller | Contact this seller

Buy New
51.19
Convert currency

Add to Basket

Shipping: 7.54
From Taiwan to U.S.A.
Destination, rates & speeds