Home
Our Work
Our Solutions
Products & Services
Library
News
Careers
About Us
Blog
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
The following is a partial list of personnel who work in predictability by construction at the Software Engineering Institute.
Sagar Chaki
Arie Gurfinkel
Scott Hissam
Gabriel Moreno
Linda Northrop
Kurt Wallnau
Related Links
Independent Research and Development Proposals Approved for FY11
Find Us Here
Share This Page
For more information
Contact Us
info@sei.cmu.edu
412-268-5800