An Iterative Approach for Development of Safety-Critical Software and Safety Arguments.

Xiaocheng Ge Richard F. Paige John Alexander McDermid

Published in: AGILE (2010)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
embedded systems
agent architecture
nuclear power plant
support systems
regulatory requirements
adaptive systems
real time
software engineering
cooperative
knowledge based systems
distributed systems
open source
e learning
software intensive systems