rsm6306@ritcv.UUCP (Randy Marks) (04/30/86)
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