search menu icon-carat-right cmu-wordmark

Predictability by Construction

White Paper
Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.
Publisher

Software Engineering Institute

Abstract

Predictability by construction (PBC) makes the behavior of a component-based system predictable prior to implementation, based on known properties of components. The PBC vision is for software components to have certified properties (for example, performance) and for the behavior of systems assembled from components to be predictable.