Advantages of Z and VDM over Dijkstra-style specifications?

Article View: comp.specification

Article #281

Back to comp.specification Previous Next

#281

From: matteo vaccari
Date: Tue, 29 Sep 1992 09:28

16 lines
1005 bytes

I am new to formal specifications, and I am wondering about
the advantages of using specification languages like Z or VDM
over the kind of program specifications described in the books
  "Predicate Calculus and Program Semantics" by E. Dijkstra,
or
  "Programming in the '90s", by E. Cohen

In those books in fact not so much attention is paid to specifications
as to proofs of correctness. Is this the main difference?


-- 
Matteo Vaccari                  tel.    +39-2-55006347
Dipartimento di Informatica     fax.    +39-2-55006348
Universita` di Milano           e-mail: vaccari@ghost.unimi.it

Technical Details

Message-ID: <1992Sep29.092813.19695@ghost.dsi.unimi.it>

Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!uwm.edu!rpi!ghost.dsi.unimi.it!vaccari

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!cs.utexas.edu!uwm.edu!rpi!ghost.dsi.unimi.it!vaccari
From: vaccari@ghost.dsi.unimi.it (matteo vaccari)
Subject: Advantages of Z and VDM over Dijkstra-style specifications?
Organization: Computer Science Dep. - Milan University
Date: Tue, 29 Sep 1992 09:28:13 GMT
Message-ID: <1992Sep29.092813.19695@ghost.dsi.unimi.it>
Lines: 12