Integrating requirements analysis and safety analysis.

Joanne M. Atlee John Alexander McDermid

Published in: RE (1995)

Keyphrases

requirements analysis
safety analysis
goal oriented
nuclear power plant
safety critical
control system
software development
fault model
development process
symbolic model checking
requirements engineering
formal methods
reliability analysis
knowledge acquisition