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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on software engineering Ročník 30; číslo 6; s. 355 - 371
Hlavní autoři: Batory, D., Sarvela, J.N., Rauschmayer, A.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.06.2004
IEEE Computer Society
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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