A-Z Index

Acquisition Support
Measurement & Analysis
Performance & Dependability
Predictability by Construction

Process & Performance Improvement
Risk & Opportunity Management
Security & Survivability
Smart Grid

Software Architecture
Software Product Lines
System of Systems
Ultra-Large-Scale Systems

Process Management

Software Development

Professional Development
SEI Training
SEI Partner Network
SEI Certification

Calendar of Events
Tools & Methods
Research
Consulting

Reports & Papers
Presentations
Books

Webinars
Podcasts
Videos & DVDs

SEI Overview
Director's Message
Vision, Mission, & Strategy

Our Organization
Our People

Predictability by Construction

Software components have certified properties and the behavior of systems assembled from components is predictable. We predict the behavior of a component-based system prior to implementation, based on known properties of components.

Overview

Getting Started

Research

Tools & Methods

Consulting

Case Studies

Our People

Predictability by Construction: Publications and References

technical reports

articles and books

Publications and References by Topic

Objective Confidence

Component Technology

Reasoning Frameworks

Performance Reasoning Frameworks

Model Checking Reasoning Frameworks

Languages for Predictable Assemblies

Find Us Here

For more information

info@sei.cmu.edu

412-268-5800

Subscribe to our RSS feeds

Contact | Locations | Legal

�2012 Carnegie Mellon University