This paper describes verification and certification challenges for avionics software.
This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.
Topics: Cybersecurity Engineering
In this 2005 report, the authors summarize FX research and development and investigates the impact of FX on software engineering.
This book provides an in-depth description of the Cleanroom approach to high-quality software development, and discusses how Cleanroom is compatible with the Capability Maturity Model (CMM).