Scaling Step-Wise Refinement

DMCA

Scaling Step-Wise Refinement (2004)

Cached

Download Links

Other Repositories/Bibliography

CiteULike
DBLP

by Don Batory , Jacob Neal Sarvela , Axel Rauschmayer

Venue:	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:	454 - 41 self

BibTeX

@ARTICLE{Batory04scalingstep-wise,
    author = {Don Batory and Jacob Neal Sarvela and Axel Rauschmayer},
    title = {Scaling Step-Wise Refinement},
    journal = {IEEE TRANSACTIONS ON SOFTWARE ENGINEERING},
    year = {2004},
    volume = {30},
    number = {6},
    pages = {2004}
}

OpenURL

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 noncode 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 from equational specifications, refining Java and non-Java artifacts automatically; a task that was accomplished only by ad hoc means previously.

Keyphrases

step-wise refinement equational specification simple program application design multiple program multiple noncode representation complex program ahead tool non-java artifact powerful paradigm nested set algebraic hierarchical equation hierarchical mathematical structure tool set ad hoc step-wise refinement scale

DMCA