Scaling Step-Wise Refinement

Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer

DOI 10.1109/icse.2003.1201199 dblp

Abstract

Step-wise refinement is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the AHEAD (Algebraic Hierarchical Equations for Application Design) model that shows how step-wise refinement scales to synthesize multiple programs and multiple non-code representations. AHEAD shows that software can have an elegant, hierarchical mathematical structure that is expressible as nested sets of equations. We review a tool set that supports AHEAD. As a demonstration of its viability, we have bootstrapped AHEAD tools solely from equational specifications, generating Java and non-Java artifacts automatically, a task that was accomplished only by ad hoc means previously.

BibTeX

@inproceedings{Batory-al:ICSE03,
  author    = {Don S. Batory and
               Jacob Neal Sarvela and
               Axel Rauschmayer},
  title     = {Scaling {Step-Wise} Refinement},
  booktitle = {ICSE},
  pages     = {187--197},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
}

Scaling Step-Wise Refinement

Abstract

Related papers