Re: VDM vs Z notation?

Article View: comp.specification

Article #440

Back to comp.specification Previous Next

#440

From: Collin Park
Date: Wed, 05 Jun 1991 17:24

18 lines
908 bytes

Stephen Gilmore writes:

> My PhD thesis is a critical evaluation of Z, VDM and algebraic
> specifications...
> [...]

> The details of the thesis are:

>             Title:   Correctness-Oriented Approaches to
>                      Software Development
>             Author:  Stephen Gilmore
>             Pages:   168
>             Report:  CST-76-91 (also ECS-LFCS-91-147)
>             Price:   8 pounds

For U.S. readers, Ms McKie will accept U.S. funds:  $16.00

-collin

Technical Details

Message-ID: <48050003@hpindda.cup.hp.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!sdd.hp.com!hplabs!hpl-opus!hpcc05!hpcuhb!hpindda!collin

References: <48050001@hpindda.cup.hp.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!sdd.hp.com!hplabs!hpl-opus!hpcc05!hpcuhb!hpindda!collin
From: collin@hpindda.cup.hp.com (Collin Park)
Newsgroups: comp.specification
Subject: Re: VDM vs Z notation?
Message-ID: <48050003@hpindda.cup.hp.com>
Date: 5 Jun 91 17:24:05 GMT
References: <48050001@hpindda.cup.hp.com>
Organization: HP Information Networks, Cupertino, CA
Lines: 18

Reply to Parent Message