Littlewood, Bev Software reliability model for modular program structure. (English) Zbl 0409.68010 IEEE Trans. Reliab. 28, 241-246 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 6 Documents MSC: 68N99 Theory of software 68N25 Theory of operating systems 68Q60 Specification and verification (program logics, model checking, etc.) 62N05 Reliability and life testing Keywords:Modular Program Structure; Software Reliability Measurement; Semimarkov Process; Asymptotic Poisson Process; Software Failure Costs; Availability PDFBibTeX XMLCite \textit{B. Littlewood}, IEEE Trans. Reliab. 28, 241--246 (1979; Zbl 0409.68010) Full Text: DOI