Evaluation of Safety-Critical Software.

David Lorge Parnas A. John van Schouwen Shu Po Kwan

Published in: Commun. ACM (1990)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
software intensive systems
real time
adaptive systems
software systems
user interface
development process
load balancing
decision support system
information systems