IFT 6755 – Analyse du logiciel – Hiver 2023

Description

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.

Le cours est donné en français et en anglais.
The course is taught in French and in English.

Au cas où tous les étudiants le préfèrent le cours pourrait être donné dans une des deux langues uniquement.
In the case where all students prefer to do so, the course could be given in only one of the two languages.

Thèmes / Themes

Section A: Spécification et analyse en génie logiciel
Section A: Specification and analysis in Software Engineering

  1. Logique propositionnelle et analyse basée sur SAT
    Propositional logic and SAT-based analysis
  2. Logique de premier ordre et analyse
    First order logic and analysis
  3. Vérification de modèles
    Verification by model checking

Section B: Seminar course
Section B: Cours seminaire

  1. Méthodes empiriques en génie logiciel
    Empirical methods in Software Engineering
  2. Génie logiciel et science computationnelle
    Software Engineering and Computational Science
  3. Spécification et analyse en action
    Specification and analysis in action

Enseignant / Instructor

Cours / Classes

  • Mardis / Tuesdays 09:30 – 11:29, Z-337 Pav. Claire-McNicoll
  • Mercredis / Wednesdays 12:30 – 14:29, Z-210 Pav. Claire-McNicoll

Barème / Marking Scheme

  • 45% : Devoirs / assignments
    • 3 devoirs à faire individuellement, 15% chacun
      3 individual assignments, 15% each
  • 25 % : Présentation d’article / paper presentation
  • 10 % : Rapport / Report
  • 20 % : Participation et discussion

Matériel / Materials

Politique de communication / Communications policy

  • Tous les communications du cours auront lieu sur le Slack du cours.
    All course-specific communications should be on the course Slack.
  • Les annonces affichées sur le canal #general du Slack du cours seront supposées avoir été vues par tous les étudiants.
    Announcements posted on the channel #general on Slack will be assumed to have been seen by all students.
  • Les diapositives et tout autre matériel sera affiché dans StudiUM.
    Slides and other materials will be posted on StudiUM.
  • Je vais essayer de répondre à tous vos messages avant la fin du prochain jour ouvrable. Je ne peux pas garantir de répondre en dehors des heures de bureau ou pendant les fins de semaine. Je ne m’attends pas non plus à ce que vous répondiez pendant ces périodes.
    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.
  • Pour toutes les communications concernant le cours, utilisez Slack. Pour tout autre problème et pour les demandes confidentielles, contactez-moi à famelis@iro.umontreal.ca.
    All communications about the course should be over Slack. Contact me on email (famelis@iro.umontreal.ca) for non-course related issues and confidential matters