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