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