Sigplan article

Article View: comp.specification

Article #85

Back to comp.specification Previous Next

#85

From: Alwyn Goodloe
Date: Sat, 15 Aug 1992 02:24

8 lines
695 bytes

 In the July 1992 Sigplan Notices Aidan Ward of Coherent Technology Ltd.
describes a toolset for supporting formal development of programs called
BluePrint.  Does anyone know if this is really a real development
project. If so, what is the specification language going to look like.


Alwyn E. Goodloe
agoodloe@gmuvax2.gmu.edu

Technical Details

Message-ID: <1992Aug15.022421.2686@gmuvax2.gmu.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!news.umbc.edu!gmuvax2!agoodloe

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!haven.umd.edu!news.umbc.edu!gmuvax2!agoodloe
From: agoodloe@gmuvax2.gmu.edu (Alwyn Goodloe)
Subject: Sigplan article
Message-ID: <1992Aug15.022421.2686@gmuvax2.gmu.edu>
Organization: George Mason University, Fairfax, Va.
Distribution: comp.specification
Date: Sat, 15 Aug 1992 02:24:21 GMT
Lines: 8