Software Engineering Institute

Stacy J. Prowell

Stacy Prowell is an SEI alumni employee.

All

Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification

April 29, 2007 • White Paper

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

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

December 1, 2005 • Technical Report

By Rosann W. Collins , 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 , Rick Kazman , Richard C. Linger (Oak Ridge National Laboratory) , Mark Pleszkoch , Stacy J. Prowell , Natasha Sharygina , Kurt C. Wallnau , Gwendolyn H. Walton , Charles Weinstock , Lutz Wrage

The Impact of Function Extraction Technology on Next-Generation Software Engineering

July 1, 2005 • Technical Report

By 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

Cleanroom Software Engineering: Technology and Process

March 9, 1999 • Book

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