Concepedia

Understanding the differences between VDM and Z

Ian J. Hayes, Cliff B. Jones, J. E. Nicholls

ACM SIGSOFT Software Engineering Notes · 1994 · 19 citations · 5 references

DOIFull text

Open access

Concepts

Abstract

This paper attempts to provide an understanding of the interesting differences between two well-known specification languages.

References

5

A logic covering undefinedness in program proofs

Howard Barringer, Jinsong Cheng, Cliff B. Jones · Acta Informatica · 1984 · 172 citations

, , +8

Specification of the UNIX Filing System

Carroll Morgan, Bernard Sufrin · IEEE Transactions on Software Engineering · 1984 · 100 citations

, , +19

On the Usability of Logics which Handle Partial Functions

Cheng Jh, CB Jones · 1991 · 74 citations

, , +6

VDM and Z: A comparative case study

Ian J. Hayes · Formal Aspects of Computing · 1992 · 21 citations · Full text

A typed logic of partial functions reconstructed classically

Cliff B. Jones, C.A. Middelburg · Acta Informatica · 1994 · 12 citations · Full text

, , +4