Marc Frappier, Ph.D.
Département d'informatique
Faculté des sciences, Université de Sherbrooke
Sherbrooke, Québec, Canada, J1K 2R1 
bottin téléphonique

Courriel :
Tél.: +1 819-821-8000 poste 62096
Fax. : +1 819-821-8200 
Bureau : Campus Principal, Pavillon des sciences D4 local 1010-08 Plan du campus principal
Stationnement visiteurs : P D4 ; parcomètres 2h max, ou permis journalier acheté à l'un des horodateurs du campus (voir petits triangles bleus sur le plan)		 english version
biographie

Intérêts de recherche
Taureau abstrait, lithographie, Pablo Picasso, 17 janvier 1946, studio de Fernand Mourlot, rue de Chabrol, Paris
APIS - Automated Production of Information Systems 

Génération automatique de systèmes d'informations à partir de spécifications abstraites.
Spécification des fonctions à l'aide de la méthode EB3. Interprétation efficace de spécifications EB3 et génération de code exécutable. 
Spécification abstraite des interfaces graphiques et génération automatique d'une interface grapique à partir de ces spécifications.
Taureau, lithographie, Pablo Picasso, 5 décembre 1945, studio de Fernand Mourlot, rue de Chabrol, Paris
EB3 - Spécification de scénarios OO

Une méthode formelle, orientée objets, exécutable, basée sur les concepts de boîte noire de Cleanroom, d'entité de la méthode JSD et d'une algèbre de processus similaire à CCS et à CSP. Clair, complet, concis, précis.

 Synthèse de contrôleurs

Synthétiser automatiquement un contrôleur pour une version réduite de la spécification d'un problème de contrôle et généraliser ensuite la solution afin de satisfaire la spécification complète.
MacRose
Développement d'un logiciel qui mesure automatiquement le nombre de points de fonction étendus (COSMIC-FFP) d'un modèle Rational Rose RealTime (ObjecTime/ROOM). 
Nous sommes à la recherche de partenaires industriels pour les tests.		 SMP - Gestion de projets

Logiciel intégrant estimation, planification, suivi et contrôle de projets, supportant le Rational Unified Process (RUP), développé en collaboration avec Merck Frosst Canada. Pour des estimés réalistes et réalisables.
Disponible commercialement.
Génération automatique de scénarios de tests

Générer automatiquement des scénarios de test fonctionnels à partir d'un profil opérationnel spécifcié avec la méthode EB3.

 Project AI Planner

Développement d'un prototype de planificateur automatique de projets, intégré à MicroSoft Project et utilisant le planificateur TLPLAN.

Arrimage bac-maîtrise

Accord de coopération avec IUT de Fontainebleau et Nice

Conférences

(4 septembre 2009) 

Le contenu de cette page est la responsabilité de son auteur et n'engage en rien l'Université de Sherbrooke.