Advanced Search

Content Type

Topics

Publication Date

Predictability by Construction

June 2009

  • PACC Starter Kit June 2009 - Brochure The PACC Starter Kit is an integrated set of tools that demonstrates how technologies can be combined to deliver objective confidence in predictions of system behavior.

May 2009

  • Predictability by Construction May 2009 - Brochure This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.

July 2001

  • Building Systems from Commercial Components July 2001 - Book This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.

June 2009

  • PACC Starter Kit June 2009 - Brochure The PACC Starter Kit is an integrated set of tools that demonstrates how technologies can be combined to deliver objective confidence in predictions of system behavior.

May 2009

  • Predictability by Construction May 2009 - Brochure This brochure summarizes our area of work about Predictability by Construction: building high-stakes systems from certified software components.

July 2001

  • Building Systems from Commercial Components July 2001 - Book This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.