Integrated Specification and Verification Environment for Component- Based Architectures of Large-Scale Distributed Systems

摘要

The objectives of this project are to address challenges of constructing large-scale DoD software intensive systems by constructing an integrated modeling and specification framework that can support software product-line development based on widely-used component middleware frameworks that will likely form the basis of future DoD systems. This document provides the final performance report on this project.