| | |
Summary: Static Extraction and Conformance Analysis of
Hierarchical Runtime Architectural Structure
Marwan Abi-Antoun
CMU-ISR-10-114
May 14, 2010
Institute for Software Research
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Thesis Committee:
Jonathan Aldrich (Chair)
Brad A. Myers
William Scherlis
Nenad Medvidovic, U.S.C.
Submitted in partial fulfillment of the requirements
for the degree of Doctor of Philosophy.
Copyright © 2010 Marwan Abi-Antoun
This work was supported in part by NSF CAREER award CCF-0546550, DARPA contract HR00110710019, Army
Research Office grant number DAAD19-02-1-0389 entitled "Perpetually Available and Secure Information Sys-
tems," the U.S. Department of Defense, and the Software Industry Center at Carnegie Mellon University and its
|
