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žené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 30; číslo 6; s. 355 - 371
Hlavní autori:	Batory, D., Sarvela, J.N., Rauschmayer, A.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.06.2004 IEEE Computer Society
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!