James Ivers
Software Engineering Institute
Publications by James Ivers
-
Evaluating a Partial Architecture in a ULS Context
May 13, 2011 • Presentation
Len BassJames IversRick Kazman
This presentation from SATURN 2011 discusses the application of architectural principles to analyzing an architectural landscape.
read -
Documenting Software Architectures: Views and Beyond, Second Edition
October 05, 2010 • Book
Felix BachmannLen BassPaul C. Clements
This book provides the most complete and current guidance on how to capture a software architecture in a commonly understandable form.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
Model-Driven Construction of Certified Binaries
October 05, 2007 • Presentation
Sagar ChakiJames IversPeter Lee
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.
read -
Certified Binaries for Software Components
September 01, 2007 • Technical Report
Sagar ChakiJames IversPeter Lee
In this report, the authors present an approach to certify binary code against expressive policies to achieve the benefits of PCC and CMC.
read -
Results of SEI Independent Research and Development Projects (FY 2006)
July 01, 2007 • Technical Report
Christopher J. AlbertsEileen C. ForresterSuzanne Garcia-Miller
This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).
read -
Lessons Learned Model Checking an Industrial Communications Library
September 01, 2005 • Technical Note
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.
read -
The ComFoRT Reasoning Framework
August 10, 2005 • Presentation
Sagar ChakiJames IversNatasha Sharygina
Presented: August 2005
read -
The ComFoRT Reasoning Framework
July 01, 2005 • White Paper
Sagar ChakiJames IversNatasha Sharygina
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.
read -
Reasoning Frameworks
July 01, 2005 • Technical Report
Len BassJames IversMark H. Klein
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.
read -
-
Pin Component Technology (V1.0) and Its C Interface
April 01, 2005 • Technical Note
Scott HissamJames IversDaniel Plakosh
This 2005 report describes the main concepts of Pin and documents the C-language interface to Pin V1.0.
read -
Overview of ComFoRT: A Model Checking Reasoning Framework
April 01, 2004 • Technical Note
James IversNatasha 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.
read -
Documenting Component and Connector Views with UML 2.0
April 01, 2004 • Technical Report
James IversPaul C. ClementsDavid Garlan
This 2004 report explores how changes in UML 2.0 affect UML's suitability for documenting component and connector views.
read -
Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition
September 01, 2003 • Technical Report
Scott HissamKurt C. WallnauWilliam G. Wood
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.
read -
Preserving Real Concurrency
July 01, 2003 • White Paper
James IversKurt 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.
read -
Documenting Software Architectures in an Agile World
July 01, 2003 • Technical Note
Paul C. ClementsJames IversReed Little
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.
read -
Snapshot of CCL: A Language for Predictable Assembly
June 01, 2003 • Technical Note
Kurt C. WallnauJames Ivers
This 2003 report presents a snapshot of the construction and composition language (CCL) by examining a small example CCL specification.
read -
PECT Infrastructure: A Rough Sketch
December 01, 2002 • Technical Note
Scott HissamJames 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.
read -
A Basis for Composition Language CL
September 01, 2002 • Technical Note
James IversNishant SinhaKurt 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.
read -
Documenting Software Architecture: Documenting Interfaces
June 01, 2002 • Technical Note
Felix BachmannLen BassPaul C. Clements
This report provides guidance for documenting the interfaces to software elements.
read -
Documenting Software Architecture: Documenting Behavior
January 01, 2002 • Technical Note
Felix BachmannLen BassPaul C. Clements
This report describes ways to document the behavior of systems, subsystems, and components of software architecture.
read -
Documenting Software Architectures: Organization of Documentation Package
August 01, 2001 • Technical Note
Felix BachmannLen BassPaul C. Clements
This comprehensive handbook outlines how to produce high-quality documentation for software architectures.
read -
SEI Workshop on Software Architecture Representation, 16-17 January 2001
May 01, 2001 • Special Report
Felix BachmannPaul C. ClementsDavid Garlan
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.
read -
Software Architecture Documentation in Practice: Documenting Architectural Layers
March 01, 2000 • Special Report
Felix BachmannLen BassJeromy Carriere
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.
read