SEAL A simple language for prototyping action-event specifications
- 30 September 1993
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 38 (1-5) , 87-95
- https://doi.org/10.1016/0165-6074(93)90130-d
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Evaluation of safety-critical softwareCommunications of the ACM, 1990
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- The case for electric design of real-time softwareIEEE Transactions on Software Engineering, 1989
- A prototyping language for real-time softwareIEEE Transactions on Software Engineering, 1988
- Safety analysis of timing properties in real-time systemsIEEE Transactions on Software Engineering, 1986
- Process-translatable Petri nets for the rapid prototyping of process control systemsIEEE Transactions on Software Engineering, 1986
- Salient features of an executable specification language and its environmentIEEE Transactions on Software Engineering, 1986
- Timing Constraints of Real-Time Systems: Constructs for Expressing Them, Methods of Validating ThemIEEE Transactions on Software Engineering, 1985