Additional requirements for process assessment in safety-critical software and systems domain.
Mika JohanssonRisto NevalainenPublished in: J. Softw. Evol. Process. (2012)
Keyphrases
- safety critical
- regulatory requirements
- formal methods
- safety analysis
- fault tolerant
- embedded systems
- agent architecture
- support systems
- nuclear power plant
- requirements engineering
- adaptive systems
- software intensive systems
- model checking
- real time
- learning systems
- software development
- monitoring system
- domain experts
- domain specific
- artificial intelligence