home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / specific / 329 < prev    next >
Encoding:
Text File  |  1992-07-27  |  1.8 KB  |  50 lines
  1. Newsgroups: comp.specification
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!caen!destroyer!ubc-cs!alberta!naren
  3. From: naren@cs.UAlberta.CA (Narendra Ravi)
  4. Subject: Re: Looking for specs of phone system
  5. Message-ID: <naren.712258582@menaik>
  6. Sender: news@cs.UAlberta.CA (News Administrator)
  7. Nntp-Posting-Host: menaik.cs.ualberta.ca
  8. Organization: University of Alberta, Edmonton, Canada
  9. References: <dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us> <9547@uqcspe.cs.uq.oz.au>
  10. Date: Mon, 27 Jul 1992 17:36:22 GMT
  11. Lines: 37
  12.  
  13. anthony@cs.uq.oz.au (Anthony Lee) writes:
  14.  
  15. : In <1992Jul24.025140.11391@siswat.hou.tx.us> buck@siswat.hou.tx.us (Lester Buck) writes:
  16.  
  17. : >In article <dk.711659792@alcor> dk@alcor.concordia.ca (dimitri k) writes:
  18. : >>I'm looking for specifications (preferably formal) of a phone 
  19. : >>system---a plain old telephone system (POTS) will do.  The spec
  20. : >>lang or method isn't a concern.  Ftpable sources welcome...
  21. : >>
  22. : >>dk
  23.  
  24.  
  25. : >I got a report from the University of Queensland in Australia which
  26. : >is a Z specification of Switching System 7 (if I remember).  It
  27. : >covers the user, network, and switching center levels as the
  28. : >detail increases.
  29.  
  30. : I have written a specification of the basic telephone network in
  31. : Object-Z.  Send me your snail mail address and I will send you
  32. : the tech report.
  33. : --
  34. : Anthony Lee (Time Lord Doctor) (These are my opinions !)
  35. : email: anthony@cs.uq.oz.au    voice:+(61)-7-3651204 FAX:+(61)-7-3651999
  36. : SNAIL: Department Computer Science, The University of Qld, 
  37. :        St Lucia, Qld 4072, Australia
  38.  
  39. There is one in the book _Software Engineering Mathematics_. One of the
  40. authors is J. Woodcock.
  41.  
  42. -- 
  43.  
  44.  -- Naren
  45.     Narendra Ra[a]vi     Email : naren@cs.ualberta.ca
  46. --
  47.  
  48.  -- Naren
  49.     Narendra Ra[a]vi     Email : naren@cs.ualberta.ca
  50.