Formalizing a Specification for Analysis: The HLA Ownership Properties
Craig Damon, Ralph Melton, Elizabeth Bigelow, James Ivers and
David Garlan.
Technical report, CMU-CS-99-126, Carnegie Mellon University School of Computer Science, April 1999.
Online links:
Keywords: Architectural Analysis, Formal Methods, Software Architecture.
@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}
}
|
