Notes On Agile and Safety-Critical Development.
Jakob AxelssonEfi PapatheocharousJaana NyfjordMartin TörngrenPublished in: ACM SIGSOFT Softw. Eng. Notes (2016)
Keyphrases
- safety critical
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- support systems
- development process
- knowledge based systems
- safety analysis
- agent architecture
- project management
- cooperative
- software engineering
- domain independent
- real time
- medical images
- knowledge management
- open source
- knowledge representation
- knowledge base
- information systems
- machine learning