Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Nishant Sinha
September 2006 - Technical Note Assume-Guarantee Reasoning for Deadlock

This report shows how L^F can be used for compositional regular failure language containment and deadlock detection, using non-circular and circular assume-guarantee rules.

December 2005 - Technical Report Verification of Evolving Software via Component Substitutability Analysis

Topics: Software Architecture

This 2005 report describes the application of the SEI Architecture Tradeoff Analysis Method (ATAM) to the U.S. Army's Warfighter Information Network-Tactical (WIN-T) system.

September 2002 - Technical Note A Basis for Composition Language CL

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.