Marc Frappier

Professeur titulaire

Page personnelle

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

Autres publications

Milhau, J., Idani, A., Laleau, R., Labiadh, M.A., Ledru, L., Frappier, M.: Combining UML and B for the Formal Specification of an Access Control Filter,  Innovations in Systems and Software Engineering, Springer-Verlag, 7(4), 2011, 303-313.

Embe Jiague, M., Frappier, M.,Gervais, F., Laleau, R., St-Denis, R.: Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments, International Journal of Systems and Service-Oriented Engineering, 2(2) (2011): 37-59.

Konopacki, P., Frappier, M., Laleau., R.: Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. RSTI - Ingénierie des Systèmes d'Information (ISI), Hermès-Lavoisier 2010, 15(3),113-136.

Gervais, F., Frappier, M., Laleau, R.: Generating Relational Database Transactions from EB3 Attribute Definitions, Software and System Modeling, Springer-Verlag, 8(3), July 2009, 423-445.