Digital Library

Authors: Len Bass, James Ivers, Rick Kazman, Gabriel Moreno

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

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Paul C. Clements, David Garlan, James Ivers, Reed Little, Paulo Merson, Robert Nord, Judith A. Stafford

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

Authors: Len Bass, Lutz Wrage, Paul C. Clements, Dionisio de Niz, Peter H. Feiler, Matthew Geiger, Jeffrey Hansen, Jörgen Hansson (University of Skovde), Scott Hissam, James Ivers, Mark H. Klein, Karthik Lakshmanan, Gabriel Moreno, Daniel Plakosh, Ragunathan Rajkumar, Kristopher Rush, Cal Waits, Kurt C. Wallnau

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

Authors: Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

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

Authors: Sagar Chaki, James Ivers, Peter Lee, Kurt C. Wallnau, Noam Zeilberger

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

Authors: Christopher J. Alberts, Eileen C. Forrester, Suzanne Garcia-Miller, Aaron Greenhouse, Jörgen Hansson (University of Skovde), James D. Herbsleb, James Ivers, Peter Lee, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Pratyusa K. Manadhata, William Anderson, B. Craig Meyers, Mike Phillips, Carol A. Sledge, James Smith, Kurt C. Wallnau, Gwendolyn H. Walton, J. Wing, Noam Zeilberger, Len Bass, Matt Bass, Philip J. Boxer, Lisa Brownsword, Sagar Chaki, Peter H. Feiler, David Fisher

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

Topics: Software Architecture

Authors: James Ivers

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

Authors: Sagar Chaki, James Ivers, Natasha Sharygina, Kurt C. Wallnau

Presented: August 2005

Authors: 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.

Topics: Software Architecture

Authors: Len Bass, James Ivers, Mark H. Klein, Paulo Merson

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.

Authors: James Ivers, Kurt C. Wallnau

Presented: June 2005

Authors: Scott Hissam, James Ivers, Daniel Plakosh, Kurt C. Wallnau

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

Authors: James Ivers, Natasha Sharygina

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

Authors: James Ivers, Paul C. Clements, David Garlan, Robert Nord, Bradley Schmerl, Oviedo Silva (Carnegie Mellon School of Computer Science)

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

Authors: Scott Hissam, Kurt C. Wallnau, William G. Wood, John J. Hudak, James Ivers, Mark H. Klein, Magnus Larsson, Gabriel Moreno, Linda M. Northrop, Daniel Plakosh, Judith A. Stafford

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.

Authors: 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.

Topics: Software Architecture

Authors: Paul C. Clements, James Ivers, Reed Little, Robert Nord, Judith A. Stafford

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.

Authors: Kurt C. Wallnau, James Ivers

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

Authors: Scott Hissam, James Ivers

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.

Authors: James Ivers, Nishant Sinha, Kurt C. Wallnau

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

Authors: Felix Bachmann, Len Bass, Paul C. Clements, David Garlan, James Ivers, Reed Little, Robert Nord, Judith A. Stafford

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

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Paul C. Clements, David Garlan, James Ivers, Reed Little, Robert Nord, Judith A. Stafford

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

Topics: Software Architecture

Authors: Felix Bachmann, Len Bass, Paul C. Clements, David Garlan, James Ivers, Reed Little, Robert Nord, Judith A. Stafford

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

Topics: Software Architecture

Authors: Felix Bachmann, Paul C. Clements, David Garlan, James Ivers, Reed Little, Robert Nord, Judith A. Stafford

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

Authors: Felix Bachmann, Len Bass, Jeromy Carriere, Paul C. Clements, David Garlan, James Ivers, Robert Nord, Reed Little

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.