Efficient engineering of safety-critical, software-intensive systems.
Joachim TaiberJohn D. McGregorPublished in: ICCVE (2014)
Keyphrases
- software intensive systems
- safety critical
- software systems
- software engineering
- fault tolerant
- requirements engineering
- formal methods
- agent architecture
- embedded systems
- database systems
- artificial intelligence
- cooperative
- decision making
- business process
- real time
- learning systems
- low cost
- expert systems
- adaptive systems
- information systems