Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA JPL Pasadena, CA 91109, USA - National Space Council - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-09-11 18:33:49 Computing Software quality Engineering Reliability engineering Software engineering Design for X Materials science Survival analysis Fault tolerance Redundancy Software design Modular programming		Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 109,12 KB Share Document on Facebook

	Improving the Reliability of Commodity Operating Systems Michael M. Swift, Brian N. Bershad, and Henry M. Levy Department of Computer Science and Engineering University of Washington Seattle, WAUSA {mikesw,bershad DocID: 1vkXP - View Document
	International Journal of Advances in Science Engineering and Technology, ISSN: Volume- 2, Issue-4, OctA STRATEGY FOR RELIABILITY EVALUATION AND FAULT DIAGNOSIS OF AUTONOMOUS UNDERWATER GLIDING ROBOT DocID: 1urDX - View Document
	Veena Misra Professor of Electrical and Computer Engineering North Carolina State University Optimizing Performance and Reliability of GaN MOSFET Devices Owing to a high critical electric field and high electron mobility DocID: 1ukgt - View Document
	5 Metrics You Should Know to Understand Your Engineering Efficiency Increase the speed and reliability of your team by understanding these key indicators DocID: 1u7ws - View Document
	Practical Reliability Engineering for Semiconductor Equipment Daniel J. Weidman, Ph.D. Advanced Electron Beams, Wilmington, MA IEEE Boston-area Reliability Society Meeting DocID: 1tIgr - View Document