Viewpoint

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Viewpoint

Full text

Pdf (2.24 MB)

Source

Communications of the ACM archive
Volume 35 , Issue 2 (February 1992) table of contents

Page: 13

Year of Publication: 1992

ISSN:0001-0782

Authors

Jean-Claude Laprie	Dependable Computing and Fault Tolerance, LAAS-CNRS, Toulouse, France
Bev Litlewood	Software Reliability, City University, London, UK

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 17, Citation Count: 4

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/129630.376087 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	M. Bush, Improving software quality: the use of formal inspections at the JPL, Proceedings of the 12th international conference on Software engineering, p.196-199, March 26-30, 1990, Nice, France
	2	Dan Craigen, Strengths and weaknesses of program verification systems, Proc. of the 1st European Software Engineering Conference on ESEC '87, p.396-404, December 1987, Strasbourg, France
	3	G. Guiho , C. Hennebert, SACEM software validation, Proceedings of the 12th international conference on Software engineering, p.186-191, March 26-30, 1990, Nice, France
	4	He&, H. Fault-r&ram software. IEEE Tmnr. Reliab. R-28, Aug. 1979, 227-232.
	5	Laprie, J.C. Dependability: A unifying concept for reliable computing and fault tolerance. In Depmdabiiiq of Resilient CmpuIing Systmrs, T. Anderson, Ed., Blackwell Scientific Publications, 1989, Pp. 1-28.
	6	Laprie, J.C. Hardware-and-software dependability evaluation. In Proceedingr of the 11th I&W W&d Cmnpufn Congas (San Francisco, Calif., Aug. ,989), pp. ,09-114.
	7	Littlewood, B. Software reliability mode, for modular program strutture. IEEE Tram. Reliab. R-28, Aug. 1979, pp. 241-246.
	8	Littlewood, B. Limits to evaluation of software dependability. In Prmediys of the Srvmth CSR Annual Confnerence in Software Relinbility and Metrics (Garmisch-Partenkirchen, Germany, Sept. ,990). Elswier, ,991.

CITED BY 4

	Robyn R. Lutz, Software engineering for safety: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.213-226, June 04-11, 2000, Limerick, Ireland
	Richard L. Weis , Judith L. Gersting, A course on professionalism in the undergraduate CS curriculum, ACM SIGCSE Bulletin, v.25 n.1, p.170-174, March 1993
	P.-J. Courtois , D. L. Parnas, Documentation for safety critical software, Proceedings of the 15th international conference on Software Engineering, p.315-323, May 17-21, 1993, Baltimore, Maryland, United States
	Farokh B. Bastani, Relational programs: An architecture for robust real-time safety-critical process-control systems, Annals of Software Engineering, v.7 n.1-4, p.5-24, 1999