A Specification-Oriented Semantics for the Refinement of Real-Time Systems.
David ScholefieldHussein S. M. ZedanJifeng HePublished in: Theor. Comput. Sci. (1994)
Keyphrases
- real time systems
- specification language
- reactive systems
- real time
- embedded systems
- operational semantics
- timing constraints
- formal language
- formal semantics
- conceptual schema
- real time database systems
- real time embedded
- mission critical
- distributed systems
- conceptual model
- database
- high level
- anytime algorithms
- control flow
- object oriented programming language
- action language
- active rules
- architectural model
- multi agent
- case study
- formal specification
- open source
- data model
- data streams