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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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

Authors: Tim Daly, Richard C. Linger (Oak Ridge National Laboratory), Stacy J. Prowell

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)

Authors: Rosann W. Collins, Rick Kazman, Richard C. Linger (Oak Ridge National Laboratory), Mark Pleszkoch, Stacy J. Prowell, Natasha Sharygina, Kurt C. Wallnau, Gwendolyn H. Walton, Charles B. Weinstock, Lutz Wrage, Sagar Chaki, Peter H. Feiler, John B. Goodenough, Aaron Greenhouse, Jörgen Hansson (University of Skovde), Alan R. Hevner (University of South Florida), John J. Hudak, Angel Jordan

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

Authors: Alan R. Hevner (University of South Florida), Richard C. Linger (Oak Ridge National Laboratory), Rosann W. Collins, Mark Pleszkoch, Stacy J. Prowell, Gwendolyn H. Walton

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

Authors: Richard C. Linger (Oak Ridge National Laboratory), Jesse H. Poore, Stacy J. Prowell, Carmen J. Trammell

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