Sigplan article

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Alwyn Goodloe Sat, 15 Aug 1992 02:24

#85

Author: 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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads