Stacy J. Prowell
Software Engineering Institute
Publications by Stacy J. Prowell
-
Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification
April 29, 2007 • White Paper
Tim DalyRichard C. Linger (Oak Ridge National Laboratory)Stacy J. Prowell
This paper describes verification and certification challenges for avionics software.
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
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.
read -
The Impact of Function Extraction Technology on Next-Generation Software Engineering
July 01, 2005 • Technical Report
Alan R. Hevner (University of South Florida)Richard C. Linger (Oak Ridge National Laboratory)Rosann W. Collins
In this 2005 report, the authors summarize FX research and development and investigates the impact of FX on software engineering.
read -
Cleanroom Software Engineering: Technology and Process
March 09, 1999 • Book
Richard C. Linger (Oak Ridge National Laboratory)Jesse H. PooreStacy J. Prowell
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).
read