Scaling step-wise refinement

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 mul...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on software engineering Jg. 30; H. 6; S. 355 - 371
Hauptverfasser: Batory, D., Sarvela, J.N., Rauschmayer, A.
Format: Journal Article
Sprache:Englisch
Veröffentlicht: New York IEEE 01.06.2004
IEEE Computer Society
Schlagworte:
Algebra
Application software
Collaboration
Computer programming
data abstraction
Design
design concepts
Design methodology
design notations and documentation
Documentation
Equations
extensible languages
Extensible Markup Language
feature-oriented programming
Jacobian matrices
Java
methodologies
Packaging
Product lines
program synthesis
refinement
Refining
representation
Software engineering
Specification
Specifications
Studies
Unified modeling language
ISSN:0098-5589, 1939-3520
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 nonJava artifacts automatically; a task that was accomplished only by ad hoc means previously.
Bibliographie:SourceType-Scholarly Journals-1
ObjectType-News-1
content type line 14
ObjectType-Article-2
ObjectType-Feature-1
content type line 23
ISSN:0098-5589
1939-3520
DOI:10.1109/TSE.2004.23