Formal Methods: Fact File: VDM and Z

Authors:
Andrew Harry
Affiliations:
-
Venue:
Formal Methods: Fact File: VDM and Z
Year:
1997

Citing 0
Cited 2

Vienna definition language

Encyclopedia of Computer Science
Automatic Transactions Identification in Use Cases

Balancing Agility and Formalism in Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher: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.