Re: What is this group (was Test)

Article View: comp.specification.z

Article #118

Back to comp.specification.z Previous Next

#118

From: Andy Crump
Date: Thu, 27 Jun 1991 07:52

24 lines
1793 bytes

>>>>> On 27 Jun 91 04:24:14 GMT, john@mintaka.mlb.semi.harris.com (John M. Blasik) said:

John> The charter, culled from the call for votes:

John> Comp.specification.z is intended to handle messages concerned with the
John> formal specification notation Z. Z, based on set theory and first
John> order predicate logic, has been developed at the Programming Research
John> Group (PRG) at Oxford University for well over a decade. It is now
John> used by industry as part of the software (and hardware) development
John> process in both the UK and the US. It is currently undergoing
John> standardization. Comp.specification.z would provide a convenient forum
John> for messages concerned with recent developments and the use of Z.

Could someone post a list of references to Z for those of us that want
to bone up on this?  Thanks
--

    -- Andy Crump

    ...!tektronix!reed!littlei!andyc | andyc@littlei.intel.com
    ...!uunet!littlei!andyc          | andyc@littlei.uu.net

Disclaimer: Any opinions expressed here are my own and 
            not representive of Intel Corportation.

Technical Details

Message-ID: <ANDYC.91Jun27075254@bucky.intel.com>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!sdd.hp.com!uakari.primate.wisc.edu!samsung!uunet!ogicse!littlei!gandalf!andyc

References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra> <1991Jun27.042414.7381@mlb.semi.harris.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!sdd.hp.com!uakari.primate.wisc.edu!samsung!uunet!ogicse!littlei!gandalf!andyc
From: andyc@bucky.intel.com (Andy Crump)
Newsgroups: comp.specification.z
Subject: Re: What is this group (was Test)
Message-ID: <ANDYC.91Jun27075254@bucky.intel.com>
Date: 27 Jun 91 07:52:54 GMT
References: <2161@uqcspe.cs.uq.oz.au> <richard.677975691@mungarra>
 <1991Jun27.042414.7381@mlb.semi.harris.com>
Sender: news@gandalf.UUCP
Organization: Intel Corporation, Hillsboro, Oregon
Lines: 24
Nntp-Posting-Host: bucky
In-reply-to: john@mintaka.mlb.semi.harris.com's message of 27 Jun 91 04:24:14 GMT

Reply to Parent Message