Thomas Ellman, Takahiro Murata:
Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.
291-319
Neil A. M. Maiden:
CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements.
419-446
Gerhard Fischer:
Seeding, Evolutionary Growth and Reseeding: Constructing, Capturing and Evolving Knowledge in Domain-Oriented Design Environments.
447-464