Specification and Quality Assurance of Timing Constraints in Real-time Systems Development.
Chih-Cheng LienChien-Chiao YangPublished in: Softw. Pract. Exp. (1992)
Keyphrases
- timing constraints
- quality assurance
- systems development
- software development
- real time
- real time systems
- real time databases
- real time database systems
- embedded devices
- quality control
- active databases
- development process
- execution model
- software testing
- concurrency control
- software quality
- information systems
- quality assessment
- software engineering
- resource constraints
- monitoring system
- transaction processing
- software systems
- case study
- security requirements
- vision system
- database systems
- embedded systems
- requirements engineering
- fine grained
- distributed systems
- active rules
- software projects