| Marc
Frappier, Ph.D. Département d'informatique Faculté des sciences Université de Sherbrooke Sherbrooke, Québec, Canada, J1K 2R1 |
  |
Tel.: +1 819-821-8000 ext 62096
Fax. : +1 819-821-8200
Office : Main Campus, Science Building (D4) room D4-1010-08
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 brown triangle on this map.
version
française
- list of papers
- book : Software Specification Methods
- graduate students
- IFT287 - Exploitation de BD relationnelles et OO
- IFT487 - Bases de données
- IFT721 - Métriques des logiciels
- IFT734 - Méthodes formelles de spécifications
- IGL301 - Spécification et vérification des exigences
- IGL501 - Méthodes formelles en génie logiciel
- MAT115 - Logique et mathématiques discrètes