|
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.
| Limitations: |
 APPROVED FOR PUBLIC RELEASE |
| Description: |
Final rept. Sep 2000-May 2004 |
| Pages: |
65 |
| Report Date: |
FEB 2005 |
| Contract Number: |
F30602-00-C-0209 |
| Report Number: |
A719034 |
|
|
|
|
Keywords relating to this report:
