Digital Library

This presentation from SATURN 2011 discusses the application of architectural principles to analyzing an architectural landscape.

Topics: Software Architecture

This book provides the most complete and current guidance on how to capture a software architecture in a commonly understandable form.

Topics: Acquisition Support, Measurement and Analysis, Performance and Dependability, Process Improvement, Software Architecture, Software Product Lines, System of Systems

In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.

Sagar Chaki and others describe in this presentation an implementation of the approach that targets the Pin component technology, and presents experimental results on a collection of benchmarks.

Topics: Software Assurance

In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.

This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).

Topics: Software Architecture

This 2005 report describes the application of a reasoning framework to the design of an industrial communications library and the problems that were found.

Presented: August 2005

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.

Topics: Software Architecture

This report describes a vehicle for encapsulating the quality attribute knowledge needed to understand a system's quality behavior as a reasoning framework that can be used by nonexperts.

Presented: June 2005

This 2005 report describes the main concepts of Pin and documents the C-language interface to Pin V1.0.

This 2004 report describes ComFoRT, a reasoning framework that packages the effectiveness of state-of-the-art model checking in a form that enables users to apply the analysis technique without being experts in its use, and its incorporation in a PECT.

Topics: Software Architecture

This 2004 report explores how changes in UML 2.0 affect UML's suitability for documenting component and connector views.

This 2003 report describes the results of an exploratory PECT prototype for substation automation, an application area in the domain of power generation, transmission, and management.

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.

Topics: Software Architecture

This report compares the Software Engineering Institute's Views and Beyond approach for documenting software architectures with the documentation philosophy embodied in agile software-development methods.

This 2003 report presents a snapshot of the construction and composition language (CCL) by examining a small example CCL specification.

This 2002 paper investigates the nature of PECT infrastructures, summarizes the activities that a PECT infrastructure should support, and proposes a design for the tools that make up a PECT infrastructure.

This report describes the composition language CL and its rudimentary graphical syntax, and defines and illustrates the compositional semantics for CL using Hoare's CSP.

Topics: Software Architecture

This report provides guidance for documenting the interfaces to software elements.

Topics: Software Architecture

This report describes ways to document the behavior of systems, subsystems, and components of software architecture.

Topics: Software Architecture

This comprehensive handbook outlines how to produce high-quality documentation for software architectures.

Topics: Software Architecture

This report summarizes the discussions from the 2001 Architecture Representation Workshop, where five leading software architects and practitioners were invited to discuss aspects of the architecture representation with senior members of the SEI technical staff.

Topics: Software Architecture

The 2000 report lays out our approach and organization for the book-in-planning titled Software Architecture Documentation in Practice, and provides guidance for the layer diagram.