Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Mark Pleszkoch
February 2011 - Technical Report Function Extraction (FX) Research for Computation of Software Behavior: 2010 Development and Application of Semantic Reduction Theorems for Behavior Analysis

In this report, the authors present research to compute the behavior of software with mathematical precision and how this research has been implemented.

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

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.

July 2005 - Technical Report The Impact of Function Extraction Technology on Next-Generation 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.

June 2002 - Technical Note Flow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development

Topics: Network Situational Awareness

In this 2002 report, the authors describe Flow-Service-Quality engineering, an emerging technology for management, acquisition, and more.