Scaling step-wise refinement

@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}
}
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… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 30 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-4 OF 4 REFERENCES

Using Multi-Dimensional Separation of Concerns to (Re)Shape Evolving Software." CACM

  • H. Ossher, P. Tart
  • 2001
Highly Influential
6 Excerpts

Similar Papers

Loading similar papers…