Coordonnées
Courriel : Marc.Frappier@USherbrooke.ca
Téléphone : 819 821-8000, poste 62096
Télécopieur : 819 821-8200
Local : D4-1010-8
Formation
M. Sc. Informatique, Université de Sherbrooke (1990)
Ph. D. Informatique, Université d'Ottawa (1996)
Thèmes de recherche
- Génie logiciel
- Synthèse automatique de systèmes d'information
- Méthodes formelles de spécification et conception
- Mesure du logiciel
- Gestion de projets
Recherches actuelles
Développement de méthodes et outils pour l'automatisation des processus logiciels
- conception et implémentation des systèmes
- gestion de la qualité
- gestion de projets
Publications
Evans, N., Treharne, H., Laleau, R., Frappier, M.: Applying CSP||B to Information Systems, Software and Systems Modeling, 17 pages, to appear.
Fraikin, B., Frappier, M., Laleau, R.: State-Based versus Event-Based Specifications for Information Systems: a Comparison of B and EB3, Software and Systems Modeling, 4(3), July 2005, pp 236-257.
Diab, H., Koukane, F., Frappier, M., St-Denis, R.: µcROSE: Automated Measurement of COSMIC-FFP for Rational Rose RealTime, Information and Software Technology, 47(3), March 2005, pp 151-166.