home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / specific / z / 510 < prev    next >
Encoding:
Internet Message Format  |  1993-01-01  |  2.5 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!comlab.ox.ac.uk!cookie.enet.dec.com
  2. From: wallace@cookie.enet.dec.com ("Richard Wallace, Digital Equipment Corporation 01-Jan-1993 1118")
  3. Newsgroups: comp.specification.z
  4. Subject: Specific use questions on Z (and small editorial...)
  5. Message-ID: <9301011818.AA20314@enet-gw.pa.dec.com>
  6. Date: 1 Jan 93 18:18:24 GMT
  7. Lines: 45
  8. X-Mailer: mail-news 2.0.3
  9.  
  10. Here I am, sitting on the other side of the "big pudle" where I look forward to 
  11. reading about Z's use in academia and industry and I get my mail file jammed-up 
  12. with lots of non-Z issues showing up.  This is, of course, in reference to the 
  13. "Jacket and Tie" vein of articles...  I did not say this vein was unimportant, I 
  14. just say this vein is not Z (so turn your "FLAMES" off...).
  15.  
  16. Please!  Let's get back to Z here.  There are LOTS of alt."this-n-that" news 
  17. groups to continue this discussion of sexism, patriarchical controled society, 
  18. et.al., ad nausium!
  19.  
  20. To start this new year in a Z way, I've got some general questions on Z's 
  21. progress in the engineering world.
  22.  
  23. -- Can an authorative, informed source tell me what the status of Z 
  24. standardization is?  The last I heard (July 1991) was that the project was 
  25. called "ZIP," the focal point of the effort was John Nicholls, and that the "Z 
  26. Base Standard" has since been adopted as a British National Standard.  Now any 
  27. or all of this may be wrong or out of date, so corrections gladly accepted.  I 
  28. would also like to know if the ISO has taken on a Z working group for 
  29. standardization.  Does anyone know?  If so, who would I communicate with?
  30.  
  31. -- There was some interest in the ZED interactive and incremental environment 
  32. from Sanjeev Dharap, K.T. Narayana (Penn. State Univ., and ORA Corp. 
  33. respectively).  I haven't heard much in the way of comments on its use.  I would 
  34. certainly be interested in hearing from anyone who has used this tool suite on 
  35. either a case study or real development (i.e. the "cost-over-correctness" 
  36. environment).
  37.  
  38. -- Has anyone heard of an effort to automate Carroll Morgans refinement calculus 
  39. (from his book "Programming from Specifications") on Z specifications?
  40.  
  41. Please post replies to the forum.  Anything that is posted directly to me will 
  42. be posted in the forum unless a request is made otherwise.
  43.  
  44. Thanks to all in advance!
  45.  
  46. Richard Wallace
  47. Senior Software Engineer
  48. Digital Equipment Corporation
  49. 301 Rockrimmon Blvd. South
  50. CXO2-1/7A
  51. Colorado Springs, CO 80919-2398
  52. U.S.A.
  53. (719)548-2792
  54. <wallace@cookie.enet.dec.com>
  55.