IGL301 - Spécification et vérification des exigences

Lectures et activités par semaine

Semaine
 Chapitres à lire
 À faire
31 janvier au 4 février
 Bray - Chapitres 1 et 2
IEEE 830-1998
IEEE 1233-1998
  1. Former les équipes de travail de session et de tp
  2. Préparer pour chaque équipe une présentation informelle des travaux réalisés en spécification
  3. La présentation sera faite mercredi 2 fev. de 8h30 à 10h30
7 février au 11 février
 Article sur SMP
 tp1
14 février au 18 février
21février au 25 février 		Analyse Structurée - Bray chapitres 4.3, 13.1, 14.3
Élicitation et entrevues - Bray chapitres 3, 9

À partir du mercredi 23 février, les cours auront lieu
seulement le mercredi de 8h30 à 12h30

Exceptionnelement, le 23 février le cours aura lieu au D7-2007.  Pour le reste de la session, il aura lieu au D7-2022 comme d'habitude.
  1. tp2
  2. Simulation en classe d'une interview avec le professeur sur SMP (16 février)
  3. Présentation d'une ébauche du MCD de SMP (16 février)
  4. Validation du MCD et DFD le 18 février.
  5. Présentation de la spécification le 23
28 février au  4 mars
 semaine de relâche
7 mars au 6 avril
 Table de décisoin - Bray section 12.4 (pages 259 à 266)
Machine à états finie - Bray section 12.6 (pages 266 à 282)
Article sur diagrammes état-transition
Remise du tp2
14 mars au 18 mars
 examen intra le mercredi 16 mars de 8h30 à 11h30
toute documentation permise
6 avril au 13 avril
 Diagrammes de structure de JSD (Entity life history) - Bray section 13.4.1
Petri-net - Bray section 12.7
Article sur Petri-net
 Remise du tp4 le mercredi 13 avril au début du cours
13 avril au 18 avril
Remise de tp5 et tp6 le lundi 18 avril à 16h au bureau de Marc Frappier

Acétates et notes de cours

  1. Introduction PDF PPT
  2. Chapitre 1 Bray
  3. Chapitre 2 Bray
  4. Chapitre 3 et 9 Bray
  5. Chapitre 4 (Analyse structurée)
  6. SMP
  7. Document de vision
  8. Table de décision
  9. Diagrammes état-transition
  10. Réseau de Petri
  11. Exemples de réseaux de Petri avec HPSIM
  12. Téléchargement de HPSIM
  13. JSD - Algèbre de processus

Travaux pratiques

  1. tp1 - solution
  2. tp2
  3. tp4 voir deux dernières acétates de Diagrammes état-transition
  4. tp5 voir deux dernières acétates de Réseau de Petri
  5. tp6 voir dernière acétate de JSD - Algèbre de processus

Examens

Documentation

  1. Frappier, M., Richard, M.: SMP: A Process-Driven Approach to Project Management, 37th Hawaii International Conference on System Sciences, January 5-8, 2004, Hawaï, IEEE Computer Society Press, 9 pages.
  2. IEEE: IEEE Recommended Practice for Software Requirements Specifications, IEEE Std 830-1998, New York, 1998 [QA 76.76 S73I44 1998]
  3. IEEE: IEEE Guide for Developing System Requirements Specifications, IEEE Std 1233, 1998 IEEE, New York, 1998 [QA 76.76 S73I438 1998]
  4. Desharnais, J., Frappier, M., Mili, A.: State Transition Diagrams. in Handbook on Architectures of Information Systems, P. Bernus, K. Mertins, G. Schmidt, eds., Springer-Verlag, 1998, ISBN 3-540-64453-9.
  5. Anschuetz, H.:  HPSim, a PetriNet editor and simulation tool, http://www.winpesim.de/petrinet/e/hpsim_e.htm (Windows)
  6. Choquet-Geniet, A.,  Richard, P.: Petri Nets: A Graphical Tool for System Modelling and Analysis, in Frappier, M., Habrias, H. (Eds): Software Specification Methods: An Overview Using a Case Study, Springer-Verlag, ISBN 1-85233-353-7, 2000.