Info Wanted: EXECUTABLE SPECIFICATION LANGUAGES

Thread View: net.research

1 messages

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

1 total messages Started by Randy Marks Wed, 30 Apr 1986 03:35

#143

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

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