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

Harry, Andrew

ISBN 10: 0471940062 / ISBN 13: 9780471940067

Verlag: John Wiley & Sons Ltd, 1996

Beschreibung

Zustand: Gut | Seiten: 386 | Sprache: Englisch | Produktart: Bücher.

Bestandsnummer des Verkäufers 38615802/3

Bibliografische Details

• Titel: Formal Methods Fact File: Vdm and Z (Wiley Series in Software Engineering Practice)
• Verlag: John Wiley & Sons Ltd
• Erscheinungsjahr: 1996
• Sprache: Englisch
• ISBN-10: 0471940062
• ISBN-13: 9780471940067
• Einband: Softcover
• Zustand: Gut
• Verkäuferkataloge:
  • Bücher

Über diesen Titel

Inhaltsangabe

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.