Requirements specification of real-time systems: temporal parameters and timing-constraints.
Tereza G. KirnerAlan M. DavisPublished in: Inf. Softw. Technol. (1996)
Keyphrases
- artificial intelligence
- real time systems
- timing constraints
- requirements specification
- real time database systems
- software engineering
- real time
- distributed systems
- real time databases
- temporal information
- embedded systems
- embedded devices
- execution model
- temporal reasoning
- temporal data
- requirements engineering
- temporal databases
- relational databases
- specification language
- multi agent
- software requirements
- software systems