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

Digital Library

Bradley Schmerl
February 2017 - Conference Paper Efficient Decision-Making under Uncertainty for Proactive Self-Adaptation

In this paper, we present an approach that eliminates runtime overhead by constructing most Markov decision processes offline using formal specification.

December 2004 - Technical Report Discovering Architectures from Running Systems: Lessons Learned

Topics: Software Architecture

This report describes a technique that uses automatically generated runtime observations of an executing system to construct an architectural view of the system.

April 2004 - Technical Report Documenting Component and Connector Views with UML 2.0

Topics: Software Architecture

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