Path: 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: Date: 27 Jun 91 07:52:54 GMT References: <2161@uqcspe.cs.uq.oz.au> <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 >>>>> 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.