This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
In this report, the authors present research to compute the behavior of software with mathematical precision and how this research has been implemented.
This paper describes the emerging technology of function extraction (FX).
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.
Topics: Cybersecurity Engineering
In this 2005 report, the authors summarize FX research and development and investigates the impact of FX on software engineering.
Topics: Network Situational Awareness
In this 2002 report, the authors describe Flow-Service-Quality engineering, an emerging technology for management, acquisition, and more.