Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: 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.
Xref: linus net.research:422 net.lang:2164 net.wanted:8012


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