A Declarative Language for the Specification of Real Time Systems.
Antony A. FaustiniEdgar B. LewisPublished in: RTSS (1985)
Keyphrases
- real time systems
- declarative language
- deductive databases
- reactive systems
- real time
- embedded systems
- distributed systems
- real time database systems
- modeling language
- mission critical
- high level
- timing constraints
- real time embedded
- anytime algorithms
- real time databases
- formal specification
- architectural model
- logic programming
- object oriented programming language
- active rules