How do practitioners perceive assurance cases in safety-critical software systems?
Jinghui ChenMicayla GoodrumRonald A. MetoyerJane Cleland-HuangPublished in: CHASE@ICSE (2018)
Keyphrases
- software systems
- safety critical
- embedded systems
- software intensive systems
- software engineering
- software developers
- source code
- software development
- formal methods
- software maintenance
- agent architecture
- software architecture
- fault tolerant
- software components
- multi agent systems
- support systems
- software evolution
- design patterns
- metamodel
- data mining
- real time
- software projects
- load balancing
- complex software systems
- component based software
- low cost
- case based reasoning
- real world
- databases