Fiscal Year	2009
Division	Graduate School of Engineering & Applied Science
Department	Systems Engineering
Investigator(s)	Giammarco, Kristin M.
Sponsor	Communications-Electronics Research, Development & Engineering Center (Army)
Summary	The objective of this proposal is to provide subject matter expertise and guidance to CERDEC S&TCD with respect to formal methods as they apply to architecture modeling. In particular, the PI of this proposal will advise CERDEC S&TCD on the formal expression of architectural relationships, and on the identification or patterns in collected data suitable for formal expression. The output of this project will be a co-authored paper between CERDEC S&TCD and NPS, and presentation of results at a suitable conference or journal.
Keywords
Publications	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data	Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal