Master d’informatique 2007 2008 de l’université Paris VI
sacc
Mini-Projets SACC 2007

But des mini-projets

L’objectif des mini-projets est d’implémenter les définitions formelles données en cours.

Le projet minimal correspond à une implémentation des cours :

Si le temps le permet (surtout si projet en binôme), il est conseillé également d’intégrer les définitions du cours 3

Des exemples (tests unitaires) seront bien sûr proposés.

Langage d’implémentation

On utilisera de préférence un langage fonctionnel fortement typé de type Ocaml ou Haskell, ou alors un langage logique de type Prolog. A titre exceptionnel d’autres langages pourront être considérés.

Modalités de rendu

Le projet sera rendu sous la forme d’une archive de nom :

{NOM}-{Prénom}-Projet-SACC-{JJ}-{MM}-2007.tar.gz

{NOM} {Prénom} {JJ} {MM} sont à remplacer (ex. par PESCHANSKI Frédéric 23 10)

L’archive contiendra un répertoire de même nom :

{NOM}-{Prénom}-Projet-SACC-{JJ}-{MM}-2007

Ce répertoire sera composé de :

Dates importantes