Is EPROS available?

Article View: comp.specification

Article #239

Back to comp.specification Previous Next

#239

From: Pete Young
Date: Mon, 19 Nov 1990 11:20

17 lines
1093 bytes

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

Technical Details

Message-ID: <1990Nov19.112004.21021@axion.bt.co.uk>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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