PLAN DE COURS
Hiver 2008

Site WEB du cours : http://www.trempet.uqam.ca/Enseignement/Cours/INF5151/Hiver2008/Default.html

Génie logiciel : analyse et modélisation INF5151

DESCRIPTION

Notions de systèmes et d'approche systémique. Choix du modèle de cycle de vie. Les différentes étapes du processus. Exploration du domaine, étude de faisabilité, définition du système (matériel et logiciel); spécification des exigences. Modélisation, objet dynamique et fonctionnelle. Outils d'aide à la définition des exigences. Regard critique sur les méthodes en application dans l'industrie et l'évolution du rôle de l'usager dans la problématique du développement de système. Qualité de la spécification et de l'interface

CONTENU DU COURS

·         Analyse du titre du cours : « Génie logiciel : analyse et modélisation »

·         Qu’est-ce qu’un livre ? Exemple de difficulté d’analyse

·         Brève histoire du GL

·         Quelques mots à propos de ISO 12207

·         Brève détour par UML

·         Introduction à Unified Process (UP)

·         Quelques indications pour l’écriture des documents techniques

·         Fiches

·         Principes d’opération (IEEE std. 1362)

·         Noms des extrémités d’association et classes d’association

·         Pourquoi ces champs-là ? (À propos des fiches)

·         Qualification

·         Repetita Iuvant

·         Encore sur les fiches autres que celles des exigences

·         Questions et réponses à partir des besoins

·         IEEE 830- 1998

·         Agrégations et composition

·         Frontières

·         Cas d’utilisation

·         Radio et baignoires

·         Software Design Manifesto

·         Heuristiques pour une bonne IPM

·         Quelques questions à partir d’un voyage en avion

·         Diagramme de séquence (DS) du système avec contrats

·         Notes sur la SEL

·         Exemples pour la SEL

·         États

·         État malade

·         Messages synchrones et asynchrones

·         Quelques notes sur les diagrammes d’état

·         Diagrammes d’activités (DA)

·         Ontologie et orignaux

·         Liste de vérification pour une SEL

·         Ingénieur des exigences idéal

Approche pédagogique

Le cours sera organisé autour d’un projet. À partir de la deuxième semaine, dans la première partie su cours les élèves vont travailler en équipe sur un projet d’analyse. Dans la deuxième partie il y aura un cours magistral d’approfondissement des concepts utiles pour la suite du projet.

L’enseignant est disponible à son bureau pour aider les étudiants dans la réalisation du projet et pour des éclaircissements conceptuels trois jours par semaine sur rendez-vous.

La présence en classe est obligatoire.

ÉVALUATION

Examen intra à la 8e semaine                                                         20 %

 

Examen final à la 15e semaine                                                       20 %

 

Un TP en équipe (minimum trois personnes et maximum quatre personnes) en deux parties :

Première partie                    7e   semaine                                         20 %

Deuxième partie                  15e semaine                                        30 %

Comptes rendus hebdomadaires (questions)                                 10 %

 

Le détail des conditions de réalisation de chaque TP est précisé avec la description du TP. La qualité du français et de la présentation font partie intégrante des critères d'évaluation des travaux et des tests jusqu'à un maximum de 25 %.

Pour passer le cours il faut :

·         Dans aucun des examens avoir obtenu une note inférieure à 30 sur cent ;

·         Avoir une moyenne d’au moins 50 % dans les examens

·         Avoir une moyenne d’au moins 60 % pour l'ensemble de l'évaluation

·         Avoir participé activement aux TP (dans les cas douteux l’enseignant peut décider de faire un examen oral sur les TP)

RÉFÉRENCES

OBLIGATOIRES

·         Notes de cours disponibles sur le site du cours

·         IEEE : Std 830-1998 IEEE Recommended Practice for Software Requirements Specification

·         Articles, normes et autres documents distribués en classe ou mise à disposition des étudiants sur le site Internet du cours.

 

Optionnelles

·         ARLOW J., NEUSTADT I., UML and the Unified Process, Addison Wesley, 2005

·         Denney R., Succeeding With Use Cases, Addison Wesley, 2005

·         IEEE : Std 12207.1-1997 Standard Life Cycle Processes - Life cycle data.

·         JACKSON M., Problem Frames – Analyzing and structuring software development problems, Addison Wesley, 2001.

·         JACKSON M., Software Requirements and Specifications, Addison Wesley, 1995

·         LEFFINGWELL D., WIDRIG D., Managing Software Requirements, Addison Wesley, 2003.

·         Maffezzini I, Premiana A., Martin L., « Prolégomènes à une critique du génie logiciciel : Partie IV, Exigences », Génie Logiciel, Mars 2005. Disponible à : http://www.trempet.uqam.ca/trempet/membres/Maffezzini/Articles/ArticlesGL/ProlegIV.pdf

·         Maffezzini I, Toward Extreme Requirements?, (4th International Conference on Cybernetics and Information Technologies, Systems and Applications, CITSA 2007) http://www.trempet.uqam.ca/trempet/membres/Maffezzini/Articles/ArticlesGL/CITSA2007-Final.pdf

·         Maffezzini I., De la nécessité des cas d'utilisation (Génie Logiciel, Déc. 2005, No 75) http://www.trempet.uqam.ca/trempet/membres/Maffezzini/Articles/ArticlesGL/LC03-CasUtilisation.pdf

·         Maffezzini I., De l'utilité des ontologies en GL (Génie Logiciel, Sept. 2006, No 78) http://www.trempet.uqam.ca/trempet/membres/Maffezzini/Articles/ArticlesGL/Delanécessitédesontologies.mht

·         RUMBAUGH J., et al., The Unified Modelling Language Reference Manual, Addison Wesley, 2005

·         SWEBOK Version 2004 : Chapitre 2 (http://www.swebok.org/home.html).

·         WIEGERS Karl, Software Requirements, Microsoft Press, 2003.