Re: Looking for specs of phone system

Article View: comp.specification

Article #48

Back to comp.specification Previous Next

#48

From: Narendra Ravi
Date: Mon, 27 Jul 1992 17:36

37 lines
1851 bytes

anthony@cs.uq.oz.au (Anthony Lee) writes:

: 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

There is one in the book _Software Engineering Mathematics_. One of the
authors is J. Woodcock.

-- 

 -- Naren
    Narendra Ra[a]vi     Email : naren@cs.ualberta.ca
--

 -- Naren
    Narendra Ra[a]vi     Email : naren@cs.ualberta.ca

Technical Details

Message-ID: <naren.712258582@menaik>

Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!caen!destroyer!ubc-cs!alberta!naren

References: <dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us> <9547@uqcspe.cs.uq.oz.au>

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!caen!destroyer!ubc-cs!alberta!naren
From: naren@cs.UAlberta.CA (Narendra Ravi)
Subject: Re: Looking for specs of phone system
Message-ID: <naren.712258582@menaik>
Sender: news@cs.UAlberta.CA (News Administrator)
Nntp-Posting-Host: menaik.cs.ualberta.ca
Organization: University of Alberta, Edmonton, Canada
References: <dk.711659792@alcor> <1992Jul24.025140.11391@siswat.hou.tx.us> <9547@uqcspe.cs.uq.oz.au>
Date: Mon, 27 Jul 1992 17:36:22 GMT
Lines: 37

Reply to Parent Message