Modechart: A Specification Language for Real-Time Systems.
Farnam JahanianAloysius K. MokPublished in: IEEE Trans. Software Eng. (1994)
Keyphrases
- specification language
- real time systems
- description language
- formal specification
- programming language
- real time
- distributed systems
- embedded systems
- real time database systems
- timing constraints
- mission critical
- software environment
- real time embedded
- multi agent
- low cost
- web services
- artificial intelligence
- machine learning
- database
- database systems
- real time databases
- architectural model