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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 26, 2009
Accession Number
ADA501823

Entities

People

  • Anindya Banerjee
  • John Hatcliff
  • Torben Amtoft

Organizations

  • Kansas State University

Tags

Communities of Interest

  • C4I
  • Cyber
  • Energy and Power Technologies
  • Ground and Sea Platforms
  • Weapons Technologies

DTIC Thesaurus Topics

  • Complex Systems
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Debugging
  • Environment
  • Graphical User Interface
  • Operating Systems
  • Programming Languages
  • Sensor Networks
  • Software Design
  • Software Development
  • Standards
  • User Interface
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Military Training and Readiness Simulation