Formal Methods Fact File: VDM and Z

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

Citing 0
Cited 2

On coping with real-time software dynamic inconsistency by built-in tests

Annals of Software Engineering
Towards the formalisation of object-oriented methodologies

Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment

Quantified Score

Hi-index	0.01

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.