Scaling step-wise refinement
- 1 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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.Keywords
This publication has 19 references indexed in Scilit:
- Generative Programming for Embedded SystemsPublished by Springer Nature ,2002
- JiazziPublished by Association for Computing Machinery (ACM) ,2001
- Using multidimensional separation of concerns to (re)shape evolving softwareCommunications of the ACM, 2001
- Handling crosscutting constraints in domain-specific modelingCommunications of the ACM, 2001
- Mapping UML designs to JavaPublished by Association for Computing Machinery (ACM) ,2000
- Applying Feature Models in Industrial SettingsPublished by Springer Nature ,2000
- Implementing Product-Line Features by Composing AspectsPublished by Springer Nature ,2000
- Adaptive plug-and-play components for evolutionary software developmentPublished by Association for Computing Machinery (ACM) ,1998
- Classes and mixinsPublished by Association for Computing Machinery (ACM) ,1998
- Feature-Oriented Domain Analysis (FODA) Feasibility StudyPublished by Defense Technical Information Center (DTIC) ,1990