Intitulé | Titre | Auteurs | Pgs | Année | ||
Revue | TSI | Génération automatique de cas de | B. Botella, A. Gotlieb, | 26 | 2002 | |
test structurels avec les techniques | C. Michel, M. Rueher, | |||||
de programmation par contraintes | P. Taillibert | |||||
Conférences | AMAI | Exact projection functions for | Claude Michel | 11 | 2002 | |
Internationales | floating point number constraints | |||||
CP2001 | Solving constraints over | C. Michel, M. Rueher, | 15 | 2001 | ||
floating point numbers | Y. Lebbah | |||||
Conférences | LMO99 | Support linguistique à la constitution | Claude Michel, | 14 | 1999 | |
Nationales | de bibliothèques de méta-composants | J.P. Regourd | ||||
IAD& | Un exemple de raisonnement | Claude Michel, | 12 | 1993 | ||
SMA | distribué: DEMACT | J.P. Regourd | ||||
SEIGE | Représentation des connaissances | Claude Michel, | 12 | 1992 | ||
et programmation par acteurs | J.P. Regourd |
Matières | Cursus | Années | Nb Heures |
Contraintes | Maîtrise UNSA | 2002 | 12h |
Assembleur | IUT GTR 1ère année | 2002 | 30h |
Java | IUT GTR 1ère année | 2002 | 36h |
Unix | IUT GTR 1ère année | 2000-2001 | 60h |
Réflexivité | DEA | 2002 & 2001 & 1998 | 9h |
Excel | DEUG B 2ème année | 1994-1995 & 1992-1993 | 128h |
Pascal | DEUG A 2ème année | 1993-1994 | 64h |
C | Formation Professionnelle | 1991 | 30h |
Total | 369h |
Intitulé | Années |
Participation à la gestion du RNTL | 2001-2002 |
Membre du comité d'organisation des JFPLC'2002 et JNPC'2002 | 2001-2002 |
Fonctions d'ingénieur système | 2000-2002 |
Administration de l'enseignement d'Excel (DEUG 2B) | 1994-1995 |
Intitulé | Années |
Participation aux travaux liés à une convention de | 2001-2002 |
recherche passée entre AMADEUS et l'I3S | |
Participation à l'encadrement d'un stage de DEA | 1994-1995 |