Synthesizing Certified Code.

Michael W. Whalen Johann Schumann Bernd Fischer

Published in: FME (2002)

Keyphrases

source code
code generation
decision making
website
multi agent systems
data flow
database
data sets
genetic algorithm
case study
bayesian networks
expert systems
open source
error detection
error correcting