@TechReport{Damon1999,
AUTHOR = {Damon, Craig and Melton, Ralph and Bigelow, Elizabeth and Ivers, James and Garlan, David},
TITLE = {Formalizing a Specification for Analysis: The HLA Ownership Properties},
YEAR = {1999},
MONTH = {April},
NUMBER = {CMU-CS-99-126},
INSTITUTION = {Carnegie Mellon University School of Computer Science},
KEYWORDS = {Architectural Analysis, Formal Methods, Software Architecture} }
|
|