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

Topics

Publication Date

Showing 1 - 5 of 5 results for the Author - john b. goodenough , Type - White Paper

White Paper | April 2013 - White Paper Four Pillars for Improving the Quality of Safety-Critical ... By Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage

This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.

White Paper | July 2013 - White Paper Arguing Security - Creating Security Assurance Cases By Charles B. Weinstock, Howard F. Lipson, John B. Goodenough

In this paper, the authors explain an approach to documenting an assurance case for system security.

White Paper | May 2011 - White Paper Software Assurance for System of Systems By John B. Goodenough, Linda M. Northrop

In this paper, the authors discuss confidence in system and SoS behavior and how theories can be used to make the assurance process more effective.

White Paper | April 2009 - White Paper Evaluating Hazard Mitigations with Dependability Cases By Matthew R. Barry (Software Intensive Systems - Inc.), John B. Goodenough

In this 2009 paper, the authors present an example to show the value a dependability case adds to a traditional hazard analysis.

White Paper | November 2009 - White Paper System of Systems Software Assurance By John B. Goodenough

This white paper describes SEI investigation into ways to provide justified confidence that a system of systems will behave as needed in its actual and evolving usage environments.