Verwandte Artikel zu Formal Methods Fact File: VDM and Z (Software Engineering...

Formal Methods Fact File: VDM and Z (Software Engineering Practice S.) - Softcover

Harry, Andrew

 
9780471958574: Formal Methods Fact File: VDM and Z (Software Engineering Practice S.)
Softcover
ISBN 10: 0471958573 ISBN 13: 9780471958574
Verlag: John Wiley & Sons Ltd, 1996

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
John Wiley & Sons Ltd
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
0471958573
ISBN 13 
9780471958574
Einband
Taschenbuch
Anzahl der Seiten
400
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar