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

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Showing 1 - 2 of 2 results for Predictability by Construction

Software | May 2007 - Software Copper

Copper is a software model checker that can be used to verify whether a concurrent C program satisfies its safety, reliability, or security requirements.

Book | July 2001 - Book Building Systems from Commercial Components By Scott Hissam, Robert C. Seacord, Kurt C. Wallnau

This book describes specific engineering practices needed to integrate preexisting components with preexisting specifications successfully, illustrating the techniques described with case studies and examples.