comp.specification.z

  Discussion about the formal specification notation Z.

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

  RAISE faq
    From: sph@doc.ic.ac.uk (Simon Hughes)
    Posted: unknown ()

  Vienna Development Method FAQ
    From: marcel@dutcu15.tudelft.nl (Marcel Verhoef)
    Posted: monthly (Thu, 30 Mar 1995 14:47:35 GMT)

  comp.specification.z Frequently Asked Questions (Monthly)
    Information about the Z formal specification notation
    <z-faq>
    From: zforum-request@comlab.ox.ac.uk
    Posted: monthly (Thu, 1 Jun 1995 01:00:03 GMT)

  Gatewayed to zforum@comlab.ox.ac.uk.

  Readers: 17000 (0.2%) {66%}        Mesgs per month/day: 39/1       {11%}
  Crossposting: 16% {54%}            Megs  per month/day: 0.1/0.003  {19%}
  Sites reciving this Group: 73%     Cost ratio ($US/month/rdr): 0.00