This volume summarizes the results obtained by the group working on software fault tolerance within the ESPRIT project REQUEST (Reliability and Quality of European Software Technology). A generic model is developed for evaluating the reliability of fault-tolerant software systems.
Manfred Kersken
Hardware algorithms classification design development modeling programming reliability semantics software software engineering structured analysis technology testing verification