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 - 9 of 9 results for the Author - kurt c. wallnau , Type - White Paper

White Paper | December 2016 - White Paper Predictability by Construction By Sagar Chaki, Scott Hissam, Gabriel Moreno, Linda M. Northrop, Kurt C. Wallnau

Predictability by construction (PBC) makes the behavior of a component-based system predictable before implementation, based on known properties of components.

White Paper | May 2010 - White Paper Edge Enabled Systems By Zacharie Hall (Aberdeen Proving Ground), Rick Kazman, Daniel Plakosh, Joseph Giampapa, Kurt C. Wallnau

This paper describes the characteristics of edge systems and the edge organizations in which these systems operate, and make initial recommendations about how such systems and organizations can be created to serve the needs of users at the edge.

White Paper | March 1996 - White Paper The Gadfly: An Approach to Architectural-Level System ... By Paul C. Clements, Robert W. Krut - Jr., Edwin J. Morris, Kurt C. Wallnau

This paper describes the Gadfly, an approach for developing narrowly-focused, reusable domain models that can be integrated and (re)used to aid in the process of top-down system comprehension.

White Paper | March 1996 - White Paper The Gadfly: An Approach to Architectural-Level System ... By Paul C. Clements, Edwin J. Morris, Kurt C. Wallnau

This paper describes the Gadfly, an approach for developing narrowly-focused, reusable domain models that can be integrated and (re)used to aid in the process of top-down system comprehension.

White Paper | April 2002 - White Paper Is Third Party Certification Necessary? By Judith A. Stafford, Kurt C. Wallnau

This paper describes a model for the component marketplace, along with two possible forms that the model may take in order to establish trust among participants in component-based design.

White Paper | July 2003 - White Paper Preserving Real Concurrency By James Ivers, Kurt C. Wallnau

In this 2003 whitepaper, the authors make use of information provided by components and extracted from static assembly topologies to faithfully model real concurrency. The result is more effective analysis.

White Paper | July 2005 - White Paper The ComFoRT Reasoning Framework By Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

Model checking is a promising technology for verifying critical behavior of software. However, software model checking is hamstrung by scalability issues and is difficult for software engineers to use directly. ComFoRT addresses both of these challenges.

White Paper | April 2002 - White Paper The Potential for Synergy Between Certification and Insurance By P. Luo Li, Mary Shaw, Kevin Stolarick, Kurt C. Wallnau

Because of their affordability and availability, reusable software components have long been a tantalizing IT investment, but they are not without their risks. Certification and insurance are potential approaches to managing these risks.

White Paper | August 2005 - White Paper Obtaining the Benefits of Predictable Assembly from ... By Kurt C. Wallnau

PACC combines the complementary features of software architecture technology and software component technology to improve both engineering productivity and product quality in the design and implementation of quality-critical software systems.