Scaling step-wise refinement


<i>Step-wise refinement</i> is a powerful paradigm for developing a complex program from a simple program by adding features incrementally. We present the <i>AHEAD (Algebraic Hierarchical Equations for Application Design)</i> model that shows how step-wise refinement scales to synthesize <i>multiple programs</i> and <i>multiple non-code representations.</i> 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.

DOI: 10.1109/TSE.2004.23

Extracted Key Phrases

18 Figures and Tables

Citations per Year

997 Citations

Semantic Scholar estimates that this publication has 997 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Batory2003ScalingSR, title={Scaling step-wise refinement}, author={Don S. Batory and Jacob Neal Sarvela and Axel Rauschmayer}, journal={IEEE Transactions on Software Engineering}, year={2003}, volume={30}, pages={355-371} }