Modeling and Learning Interaction-based Accidents for Safety-Critical Software Systems.
Tariq MahmoodEdmund KazmierczakTim KellyDennis PlunkettPublished in: APSEC (2007)
Keyphrases
- software systems
- learning algorithm
- safety critical
- learning systems
- software engineering
- learning process
- software components
- databases
- source code
- software maintenance
- software development
- user interaction
- artificial intelligence
- software architecture
- multi agent systems
- cooperative
- knowledge acquisition
- high level
- formal methods