IFT 6755 – Analyse du logiciel – Hiver 2020

Liens rapides / Quick links

Déscription:

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.

Chapitres / Chapters

  1. Spécification et analyse dans le génie logiciel
    Specification and analysis in Software Engineering
  2. Logique propositionnelle et analyse basée sur SAT
    Propositional logic and SAT-based analysis
  3. Logique de premier ordre et analyse
    First order logic and analysis
  4. Vérification de modèles
    Verification by model checking
  5. Methodes empiriques dans le génie logiciel
    Empirical methods in Software Engineering
  6. Spécification et analyse en action
    Specification and analysis in action

Enseignant / Instructor:

Cours / Classes

  • Mardis/Tuesdays 09:30 – 11:29 Z-210 Pav. Claire-McNicoll 
  • Jeudis/Thursdays 11:30 – 13:29 Z-300 Pav. Claire-McNicoll 

Barème / Marking Scheme

  • 45% : 3 exercises (3×15%)
    • En groupes de / in groups of 2
    • Dûs / Due : 2020-02-14, 2020-03-13, 2020-04-10
    • Attendez-vous à pouvoir présenter et discuter de vos solutions en classe, ce qui peut affecter votre note. / Expect to be able to present and discuss your solutions in class, which can affect your mark.
  • 40% : Projet / project
    • En groupes de / Groups of 2-3
    • 2020-02-06 : présentations des propositions / proposal presentations
    • 2020-02-27, 2020-03-26 : Brèves présentations des résultats intermédiaires / Milestone flash presentations
    • 2020-04-16 : Présentations finaux / final presentations
  • 15% : Participation et / and 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é sur 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