Domain Arguments in Safety Critical Software Development.
Jonathan C. RowanhillJohn C. KnightPublished in: ISSRE (2016)
Keyphrases
- software development
- safety critical
- formal methods
- fault tolerant
- safety analysis
- nuclear power plant
- software systems
- domain independent
- domain specific
- software architecture
- embedded systems
- software engineering
- knowledge acquisition
- knowledge base
- knowledge management
- software components
- agent architecture
- low cost
- cooperative
- case study