Language Aspects of Envisager: An Object-Oriented Environment for the Specification of Real-Time Systems.
José P. Diaz-GonzalezJoseph E. UrbanPublished in: Comput. Lang. (1991)
Keyphrases
- real time systems
- reactive systems
- real time
- specification language
- object oriented programming language
- mobile robot
- programming language
- distributed systems
- high level
- embedded systems
- operational semantics
- real time database systems
- mission critical
- object oriented
- formal language
- dynamic programming
- formal languages
- natural language
- timing constraints
- database systems
- architectural model
- real time embedded