Jahuel: A Formal Framework for Software Synthesis.

Ismail Assayad Valérie Bertin F.-X. Defaut Philippe Gerner O. Quévreux Sergio Yovine

Published in: ICFEM (2005)

Keyphrases

main contribution
source code
software development
lightweight
data sets
neural network
genetic algorithm
computer vision
decision trees
case study
probabilistic model
software architecture
simulation environment