1-20 of 20 Books
Measurement and analysis of failures in computer systems
Measurement and analysis of failures in computer systems
By Anshuman Thakur
Multiversion software reliability through fault-avoidance and fault-tolerance
Multiversion software reliability through fault-avoidance and fault-tolerance
By Mladen A. Vouk
UNIX-based operating systems robustness evaluation
UNIX-based operating systems robustness evaluation
By Youming Zhang
Software dependability in the operational phase
Software dependability in the operational phase
By Inhwan Lee
UNIX-based operating systems robustness evaluation
UNIX-based operating systems robustness evaluation
By Yu-Ming Chang
Quantitative measures for software independent verification and validation
Quantitative measures for software independent verification and validation
By Alice Lee
The validation by measurement theory of proposed object-oriented software metrics
The validation by measurement theory of proposed object-oriented software metrics
By Ralph D. Neal
An introduction to requirements capture using PVS
An introduction to requirements capture using PVS
By Ricky W. Butler
Software design improvements
Software design improvements
By Vincent R. Lalli
The role of independent V&V in upstream software development processes
The role of independent V&V in upstream software development processes
By S. M. Easterbrook
Software reliability studies
Software reliability studies
By Mary Ann Hoppa
NASA software engineering benchmarking study
NASA software engineering benchmarking study
By Heather L. Rarick
A framework for performing V&V within reuse-based software engineering
A framework for performing V&V within reuse-based software engineering
By Edward A. Addy
Automatically generated acceptance test
Automatically generated acceptance test
By Peter W. Protzel
Making statistical inferences about software reliability
Making statistical inferences about software reliability
By Douglas R. Miller
Software safety progress in NASA
Software safety progress in NASA
By Charles F. Radley
Formal methods and their role in digital systems validation for airborne systems
Formal methods and their role in digital systems validation for airborne systems
By John Rushby
A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers
A method to determine the kinematics of the lower limbs of a subject pedaling a bicycle using encoders and accelerometers
By Shih-chʻing Liu
Evaluation of visualization software
Evaluation of visualization software
By Al Globus
Proceedings of the Nineteenth Annual Software Engineering Workshop
Proceedings of the Nineteenth Annual Software Engineering Workshop
By Software Engineering Workshop (19th 1994 Greenbelt, Md.)