Article View: comp.specification
Article #46Re: Looking for specs of phone system
From: Anthony Lee
Date: Mon, 27 Jul 1992 00:29
Date: Mon, 27 Jul 1992 00:29
23 lines
1394 bytes
1394 bytes
In <1992Jul24.025140.11391@siswat.hou.tx.us> buck@siswat.hou.tx.us (Lester Buck) writes:
>In article <dk.711659792@alcor> dk@alcor.concordia.ca (dimitri k) writes:
>>I'm looking for specifications (preferably formal) of a phone
>>system---a plain old telephone system (POTS) will do. The spec
>>lang or method isn't a concern. Ftpable sources welcome...
>>
>>dk
>I got a report from the University of Queensland in Australia which
>is a Z specification of Switching System 7 (if I remember). It
>covers the user, network, and switching center levels as the
>detail increases.
I have written a specification of the basic telephone network in
Object-Z. Send me your snail mail address and I will send you
the tech report.
--
Anthony Lee (Time Lord Doctor) (These are my opinions !)
email: anthony@cs.uq.oz.au voice:+(61)-7-3651204 FAX:+(61)-7-3651999
SNAIL: Department Computer Science, The University of Qld,
St Lucia, Qld 4072, Australia
Technical Details
Message-ID:
<9547@uqcspe.cs.uq.oz.au>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!anthonyReferences:
<dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!anthony From: anthony@cs.uq.oz.au (Anthony Lee) Newsgroups: comp.specification Subject: Re: Looking for specs of phone system Message-ID: <9547@uqcspe.cs.uq.oz.au> Date: 27 Jul 92 00:29:37 GMT References: <dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us> Sender: news@cs.uq.oz.au Reply-To: anthony@cs.uq.oz.au Lines: 23