Software Engineering Institute

Stacy 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