Language aspects of ENVISAGER: an object-oriented environment for the specification of real-time systems.
José P. Diaz-GonzalezJoseph E. UrbanPublished in: ICCL (1988)
Keyphrases
- real time systems
- reactive systems
- real time
- specification language
- distributed systems
- object oriented
- object oriented programming language
- embedded systems
- programming language
- case study
- operational semantics
- software engineering
- mission critical
- mobile robot
- computational intelligence
- formal specification
- real time database systems
- formal languages
- modeling language
- action language
- architectural model
- timing constraints
- mobile devices
- natural language
- artificial intelligence