Administration University of South Florida,
BibTeX
@MISC{Linger_administrationuniversity,
author = {Richard C. Linger and Mark G. Pleszkoch and Luanne Burns and Alan R. Hevner and Gwendolyn H. Walton},
title = {Administration University of South Florida,},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development. This paper discusses an emerging next-generation software engineering research area: function extraction (FX) technology for automated computation to the maximum extent possible of the behavior, correctness, and quality attributes of software components and their compositions into systems. An introduction to the mathematical foundations for computation of software behavior is provided, followed by an overview description of a rigorously designed experiment to quantify the potential for FX technology, and a discussion of a CERT
Citations
| 381 | Safe Kernel Extensions without Run-time Checking - Necula, Lee |
| 26 | Using function abstraction to understand program behavior - Hausler, Pleszkoch, et al. - 1990 |
| 13 | FunctionTheoretic Principles of Program Understanding - Pleszkoch, Hausler, et al. |
| 13 | Improving Network System Security with Function Extraction Technology for Automated Calculation of Program Behavior - Pleszkoch, Linger - 2004 |
| 12 | Foundations of sequence-based software specification - Prowell, Poore |
| 9 | The Impact of Function Extraction Technology on NextGeneration Software Engineering (CMU/SEI-2005-TR-015 - Hevner, Linger, et al. - 2005 |
| 5 | The CERT Function Extraction Experiment: Quantifying FX Impact on CMU/SEI-2006-TR-021 39 Comprehension and Verification (CMU/SEI-2005-TN047, ADA442865 - Collins, Walton, et al. - 2005 |
| 2 | Cleanroom Software Engineering." Wiley Encyclopedia of Software Engineering: Second Edition - Mills, Linger - 2002 |
