Verifying Resilient Software.

Paul E. Black Phillip J. Windley

Published in: HICSS (5) (1997)

Keyphrases

software systems
software development
database
hardware design
user interface
software package
computer systems
commercial software
source code
open source
distributed systems
software architecture
embedded systems
software tools
test suite
software design
software evolution
multi agent systems
decision making