Specification-Carrying Software: Evolving Specifications for Dynamic System Composition

Abstract

EPOXI (Evolutionary Programming Over Explicit Interfaces) builds on the advanced mathematical foundation to enable the design and evolution of large-scale, heterogeneous, distributed, time-critical systems. The guiding philosophy of EPOXI is refinement of requirement specifications into code that is correct by construction. EPOXI emphasizes the support for design operations that establish or preserve required properties of the target system software. Refinement and coordination of changes to the software system were by means of formal change specifications, propagation of constraints through an architecture, gauges to measure component compliance and synthesis of glue-code to assure compliance/interoperability.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 2005
Accession Number
ADA430917

Entities

People

  • Douglas R. Smith
  • Dusko Pavlovic
  • Matthias Anlauff

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • C4I
  • Sensors
  • Space

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Communication Channels
  • Complex Systems
  • Computer Programming
  • Computers
  • Construction
  • Control Systems
  • Detectors
  • Language
  • Sensor Networks
  • Software Design
  • Software Development
  • Software Development Tools
  • Specifications
  • Standards
  • Systems Engineering
  • Target Tracking

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.