Lean Thinking Inside and Outside a Software Engineering Company (Dave Jackson)
Copyright © 2001 Praxis Critical Systems Limited Programme Introduction What is High Integrity Software? Reliable Programming in Standard Languages.
An Integration of Program Analysis and Automated Theorem Proving Bill J. Ellis & Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt.
©2011 Rolls-Royce plc The information in this document is the property of Rolls-Royce plc and may not be copied or communicated to a third party, or used.
SPADEase: The Good, the Bad and the Ugly
QinetiQ Proprietary AN ISO standard for high integrity software.
CO-IMP-MO – the use of COCOMO II to improve Rolls-Royce