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!

Buďte první, kdo okomentuje tento záznam!