Info Wanted: EXECUTABLE SPECIFICATION LANGUAGES

Article View: net.research

Article #143

#143

From: Randy Marks
Date: Wed, 30 Apr 1986 03:35

19 lines
1358 bytes

I am searching for any and all information pertaining to executable
specification languages for real-time systems.  Two examples of such
systems which I have encountered are PAISLey (AT&T) and Model (Univ. of
Pennsylvania and RPI).

If you have information or experience with either of these two systems
(besides widely read journal articles such as IEEE or ACM, etc.)
PLEASE respond!  I would like to hear from you.

Or if you know of other systems which would be considered executable
specification languages for real-time software development, drop me
a message.

Randy Marks			rochester!marks.henr@xerox.arpa
60 Shepard Street		rochester!ritcv!rsm6306
Rochester, NY  14620
(716) 442-0917
(716) 427-1840

Technical Details

Message-ID: <9670@ritcv.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!harvard!caip!seismo!rochester!ritcv!rsm6306

Show Full Headers

Complete Article Headers

Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: arc1-ca.pugleaf.net!utzoo!linus!philabs!cmcl2!harvard!caip!seismo!rochester!ritcv!rsm6306
From: rsm6306@ritcv.UUCP (Randy Marks)
Newsgroups: net.research,net.lang,net.wanted
Subject: Info Wanted: EXECUTABLE SPECIFICATION LANGUAGES
Message-ID: <9670@ritcv.UUCP>
Date: Tue, 29-Apr-86 23:35:17 EDT
Article-I.D.: ritcv.9670
Posted: Tue Apr 29 23:35:17 1986
Date-Received: Sat, 3-May-86 01:43:41 EDT
Reply-To: rsm6306@ritcv.UUCP ()
Organization: Rochester Institute of Technology, Rochester, NY
Lines: 19
Keywords: Executable Specification Languages for Real-Time Software Devel.