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
- Spécification et analyse dans le génie logiciel
Specification and analysis in Software Engineering - Logique propositionnelle et analyse basé sur SAT
Propositional logic and SAT-based analysis - Logique de premier ordre et analyse
First order logic and analysis - Vérification de modèles
Verification by model checking - Methodes empiriques dans le génie logiciel
Empirical methods in Software Engineering - Spécification et analyse en action
Specification and analysis in action
Enseignant / Instructor:
- Michalis Famelis
- Bureau / office: AA2343
- Courriel / email: famelis@iro.umontreal.ca
- Disponibilité: par RDV / Office hours: by appointment
Cours / Classes
- Mardis/Tuesdays 09:30 – 11:29 S1-125 Pav. Jean Coutu
- Mercredis/Wednesdays 09:30 – 11:29 Z-337 Pav. Claire-McNicoll
Barème / Marking Scheme
- 20% : Participation et/and discussion
- 60% : projets / projects
- 20% : Presentation d’article(s) / paper(s) presentation
Matériel / Materials
- Livre du cours:
- [LICS] Logic in computer science : modelling and reasoning about systems, Michael Huth and Mark Ryan
- Ressources additionneles:
- [SA] Software abstractions : logic, language, and analysis, Daniel Jackson.
- [GAESE] Guide to advanced empirical software engineering, Forrest Shull, Janice Singer; Dag I. K. Sjøberg
- [ESEUR] Evidence-based Software Engineering, Derek M. Jones
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
Michalis Famelis 