A Brief Introduction to Software Reliability
The clearest technical measurement of quality in any human-created
artifact is its reliability. This term is in common use to mean
something like "you can rely on it (to work)," but the technical
definition is what distinguishes engineering from science and from
art: engineering artifacts have a quantitative measurement of
their technical reliability, a measurement that can be used to
calculate a probability that they will not fail.
(Not-so!) Frequently Asked Questions
What is technical software reliability ?
Software "probably" correct?! The minefield analogy.
What's wrong with current ideas
about software reliability?