| ||||
Sigle : INF1583 Gr. 01 Titre : Développement des systèmes informatiques Session : Automne 2017 Horaire et local Professeur : Iglewski, Michal | ||||
1. Description du cours paraissant à l'annuaire : | ||||
ObjectifsIntroduire l'étudiant à l'approche professionnelle utilisée dans les différentes étapes du développement de systèmes informatiques (y compris des systèmes à temps réel). Lui présenter les différentes techniques formelles existantes dans le domaine et montrer comment les appliquer dans un projet informatique. Lui apprendre à documenter un système informatique. Introduire l'étudiant au travail en équipe.ContenuPrincipaux types de documents dans un système informatique et définitions de leurs contenus. Rôle des spécifications et méthodes formelles. Introduction à certaines notations formelles pour décrire les exigences et spécifications de composants et systèmes logiciels : modélisation abstraite, spécifications algébriques des types abstraits et/ou automates et systèmes de transition. Méthode rigoureuse de développement. Techniques de validation, tests, inspection. Travail en équipe, gestion de l'équipe, productivité, métriques. Outils de programmation supportant le développement des logiciels. | ||||
2. Objectifs spécifiques du cours : | ||||
Apprentissage par problèmes et par projets. | ||||
3. Stratégies pédagogiques : | ||||
Au cours de cette activité, diverses formules pédagogiques seront utilisées, notamment: cours magistraux, devoirs, exercices en classe et lectures personnelles. Les attentes sont que les étudiant(e)s investissent au moins 90 heures de travail personnel en plus des 45 heures de cours. Les devoirs seront effectués sur deux plateformes: Windows et Unix. La page Moodle sera utilisée pour communiquer d'autres informations au cours de la session. Des séances de travaux dirigés (2h/semaine) viendront appuyer les séances de cours. Ces séances se font en présence d'un assistant. La présence des étudiants à ces laboratoires est obligatoire. | ||||
4. Heures de disponibilité ou modalités pour rendez-vous : | ||||
Consultations : mercredi : 15h00 à 17h00 ou sur rendez-vous Les étudiants sont priés de respecter les heures des consultations. En dehors des heures de consultation, les foires aux questions de Moodle constituent la voie principale de communication entre les étudiants et le professeur. | ||||
5. Plan détaillé du cours sur 15 semaines : | ||||
Semaine | Thèmes | Dates | ||
1 |
Plan de cours Présentation du projet de session Systèmes de gestion de versions (CVS, Bazaar, Git, ...) TD - le 7 sept. |
05 sept. 2017 | ||
2 |
Assertions Tests traditionnels Framework pour l'exécution de tests unitaires (JUnit) Comment tester avec JUnit PHPUnit |
12 sept. 2017 | ||
3 |
Qualité du code (introduction) Vérification et validation de systèmes Vérification formelle Inspection |
19 sept. 2017 | ||
4 |
Tests TD - le 28 sept. |
26 sept. 2017 | ||
5 |
Métriques logicielles SonarQube Outils de build
|
03 oct. 2017 | ||
6 | Semaine d'études | 10 oct. 2017 | ||
7 |
Notion de génie logiciel, étapes Pourquoi méthodes formelles ? Outils mathématiques pour ingénieurs de logiciel (suite)
TD - le 19 oct. |
17 oct. 2017 | ||
8 |
Examen de mi-session
Spécifications des programmes
|
24 oct. 2017 | ||
9 |
Spécifications des programmes (suite)
|
31 oct. 2017 | ||
10 |
Principes de conception modulaire Guide de modules Spécifications d'interfaces de module
TD - le 9 nov. |
07 nov. 2017 | ||
11 |
Spécifications d'interfaces de modules
|
14 nov. 2017 | ||
12 |
Exemples de spécifications de modules TD - le 23 nov. |
21 nov. 2017 | ||
13 |
Documentation interne de modules
|
28 nov. 2017 | ||
14 |
Documentation interne de modules (suite) Documentation des besoins TD - le 7 déc. |
05 déc. 2017 | ||
15 | Examen final | 12 déc. 2017 | ||
6. Évaluation du cours : | ||||
L'évaluation est l'appréciation du niveau d'apprentissage atteint par l'étudiant par rapport aux objectifs des cours et des programmes. L'attribution des notes se fera selon la répartition suivante :
Pour les devoirs d'équipe, les notes peuvent être attribuées d'une manière individuelle selon la contribution de l'étudiant. Attention: La présence aux cours est fortement recommandée. | ||||
7. Politiques départementales et institutionnelles : | ||||
| ||||
8. Principales références : | ||||
Volumes suggérés :
| ||||
9. Page Web du cours : | ||||
http://moodle.uqo.ca/course/view.php?id=17413 |