Marc Frappier, Ph.D.
Département d'informatique
Faculté des sciences
Université de Sherbrooke
Sherbrooke, Québec, Canada, J1K 2R1
UdeS phone directory
Email :
Tel.: +1 819-821-8000 ext 62096
Fax. : +1 819-821-8200
Office : Main Campus, Sciences Building (D4) room 1010-08 Plan du campus principal
Visitor's Parking : P D4 : park meter max 2 hrs, or daily permit which can be bought at one of the ticket machines identified by a small blue triangle on this map.
 version française
biography

Research Interests

APIS - Automated Production of Information Systems 

Specification of input-output behavior using the EB3 method. Efficient interpretation of EB3 specifications and code generation.
Abstract specification of user interface and automatic generation of graphical user interface. 
EB3 - OO Scenario Specification 

A formal method for scenario specification; it is object-oriented, executable, based on Cleanroom black boxes, JSD entities, and a process algebra similar to CCS and CSP. Clear, complete, concise, precise.

 Controller Synthesis

Synthesize a controller for a reduced (abstract) version of a control problem, and then generalize the solution to solve the complete problem; the idea is to lift synthesis techniques to circumvent state explosion and tackle larger problems.
MacRose
Development of a software that automatically measures the number of full function points (COSMIC-FFP) for a Rational Rose RealTime (ObjecTime/ROOM) model.
We are looking for industrial partners to participate in beta testing.		 SMP - Project Management

A software that integrates estimation, planning, tracking and control of projects; it supports the Rational Unified Process (RUP), was developed in cooperation with Merck Frosst Canada. Make realistic commitments you can fulfill.
Commercially available.
Automatic Test Scenario Generation

Automatic generation of functional test scenarios (black box system testing) from an operational profile defined using an EB3 specification

 Project AI Planner

Development of a prototype for an automated project planner, integrated to MicroSoft Project and using the AI planner TLPLAN.

Conferences

(May 2, 2008) 

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