How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems?
Jinghui ChengMicayla GoodrumRonald A. MetoyerJane Cleland-HuangPublished in: CoRR (2018)
Keyphrases
- software systems
- safety critical
- embedded systems
- software intensive systems
- software developers
- software engineering
- source code
- software development
- formal methods
- software maintenance
- software architecture
- software components
- metamodel
- multi agent systems
- fault tolerant
- agent architecture
- information security
- software projects
- information systems
- machine learning
- real world
- real time
- database
- knowledge acquisition