Xref: utzoo comp.specification:205 comp.software-eng:4459
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!crdgw1!uunet!mcsun!ukc!axion!puppis!pyoung
From: pyoung@axion.bt.co.uk (Pete Young)
Newsgroups: comp.specification,comp.software-eng
Subject: Is EPROS available?
Message-ID: <1990Nov19.112004.21021@axion.bt.co.uk>
Date: 19 Nov 90 11:20:04 GMT
Sender: news@axion.bt.co.uk
Reply-To: pyoung@axion.bt.co.uk
Organization: British Telecom Research Labs
Lines: 17
Organisation: British Telecom Research Labs, Martlesham Heath, IPSWICH UK

I would like to know if the EPROS system is available by ftp or
some other means. 

For those who don't know, EPROS is a system for
producing prototypes from a combination of VDM and state transition
diagrams.
It was developed by Darrel Ince and Sharam Hetmakpour.

Can anybody help?


Regards

Pete
  ____________________________________________________________________
  Pete Young         pyoung@axion.bt.co.uk        Phone +44 473 645054
  British Telecom Research Labs,SSTF, Martlesham Heath IPSWICH IP5 7RE