Early Safety Analysis: from Use Cases to Component-based Software Development.

Published in: J. Object Technol. (2007)

Keyphrases

component based software development
safety analysis
nuclear power plant
software development
control system
safety critical
symbolic model checking
real time
artificial intelligence
multi agent systems
case based reasoning
formal methods