IFT 6755 – Analyse du logiciel – Hiver 2019

Liens rapides / Quick links


Spécification et modélisation du logiciel. Méthodes formelles pour l’analyse du logiciel. Analyse empirique du contexte et du processus du développement. Mise en oeuvre de méthodes d’analyse en utilisant des compromis spécifiques au contexte.

Enseignant / Instructor:

Michalis Famelis,
office: AA2343,
email: famelis@iro.umontreal.ca

Office hours: by appointment

Cours / Classes

  • Mardis/Tuesdays 09:30 – 11:29 Z-260 Pav. Claire-McNicoll
  • Mercredis/Wednesdays 09:30 – 11:29 Z-337 Pav. Claire-McNicoll

Marking Scheme


Course projects


Course Readings


Communications policy

  • All course-specific communications should be on the course Slack.
  • Announcements posted on the channel #general on Slack will be assumed to have been seen by all students!
  • Slides will be posted on StudiUM.
  • I will always try to answer questions within the next business day. I cannot guarantee availability outside 9-5 Mon-Fri. I also don’t assume your availability outside such hours.
  • Contact me on email (famelis@iro.umontreal.ca) for non-course related issues and confidential matters