Démonstration automatique : projet 2012
Cette page peut être mise à jour, avec informations complémentaires,
précisions, questions bonus, etc. Pensez à y revenir souvent.
Projet à rendre pour le 10/12/12.
Un rendu de projet comprend :
- Un rapport précisant vos choix, les problèmes techniques qui se
posent et les solutions trouvées ; il précise en conclusion les
limites de votre programme. Le rapport sera de préférence composé
avec LaTeX.
- Un
code Ocaml abondamment
commenté ; la première partie des commentaires sera systématiquement
de la forme
my_function : ...type...
my_function x1 x2 x3 retourne ...blabla en fonction de x1 x2 et x3
Préconditions : c'est-à-dire conditions sur les paramètres pour une bonne
utilisation (pas de typage ici).
Informations additionnelles si des techniques particulières méritent
d'être mentionnées.
Vous devez rendre :
- Vos fichiers de code Ocaml,
- Un manuel d'installation et d'utilisation de votre outil,
- Votre rapport (en pdf),
- Quelques tests,
rassemblés dans une archive tar gzippée identifiée
comme votre_prénom_votre_nom.tgz.
Sujet