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

Publications and References: General

Model-Driven Development with Predictable Quality (2007)
James Ivers & Gabriel A. Moreno

The PACC Starter Kit is an eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.

PACC Starter Kit: Developing Software with Predictable Behavior (2008)
James Ivers & Gabriel A. Moreno

The PACC Starter Kit is an Eclipse-based development environment that combines a model-driven development approach with reasoning frameworks that apply performance, safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior and are accompanied by some measure of confidence.

PECT Infrastructure: A Rough Sketch (2002)
Scott Hissam & James Ivers

This paper describes initial thinking on the what is required of a tool infrastructure for developers and users of prediction-enabled component technology, including roles and infrastructure change scenarios.

Packaging Predictable Assembly with Prediction-Enabled Component Technology (2001)
Scott Hissam, Gabriel Moreno, Judith Stafford, & Kurt Wallnau

This report describes the use of prediction-enabled component technology (PECT) as a means of packaging predictable assembly as a deployable product. 

Predictable Assembly: The Crystal Ball to Software (2005)
Magnus Larsson, Anders Wall, & Kurt Wallnau

The sheer complexity of software means that errors often slip unnoticed through test phases – traditional testing methods are no longer in a position to evaluate all situations that can occur. Mathematically based approaches to development and verification greatly reduce risks and contribute to quality management.

A Template for Documenting Prediction-Enabled Component Technologies  (2003)
Paulo Merson

This report outlines the PACC team's initial thinking on how reasoning frameworks can be documented as off-the-shelf products in their own right.

Predictability by Construction (2005)
Paulo Merson & Scott Hissam

This two-page paper was presented along with a poster in the poster sessions at OOPSLA 2005. It gives an overview of how PACC uses reasoning frameworks to achieve predictability.

The Software Engineering Institute's Second Workshop on Predictable Assembly: Landscape of Compositional Predictability (2003)
Judith Stafford & Scott Hissam

Six leading researchers in component-based software engineering were invited to discuss topics related to compositional reasoning with members of the SEI technical staff. During the workshop, participants articulated the current state of research, identified gaps in the available technology, and set the direction for future effort.

Annotating (1999)
Judith Stafford & Alexander Wolf

This paper describes the improvement in precision of path-based analysis results that can be achieved when input-output pathways of components have been identified and are used to refine assembly-level path analysis.