Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Stacy J. Prowell
April 2007 - White Paper Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

This paper describes verification and certification challenges for avionics software.

December 2005 - Technical Report Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

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.

July 2005 - Technical Report The Impact of Function Extraction Technology on Next-Generation 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.

March 1999 - Book Cleanroom Software Engineering: Technology and Process

Topics: CMMI, Process Improvement

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).