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

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

Authors: Sagar Chaki, Nishant Sinha

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

Authors: Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha

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

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

This report describes the main concepts of the composition language CL and its rudimentary graphical syntax. The report also defines and illustrates the compositional semantics for CL using Hoare's CSP.