INF1583 - Développement des systèmes informatiques

• Outils de développement - CVS
  • Introduction à CVS
  • Comment travailler avec CVS ?
• Assertions
• Outils de développement - JUnit
  • Introduction à JUnit
  • Tests traditionnels
  • Annotations en Java
  • Comment tester avec JUnit
• Pourquoi méthodes formelles ?
• Outils mathématiques
  • Paradoxes
  • Ensembles
  • Variables libres
  • Construction "where"
  • Fonctions et relations
  • Prédicats
  • Relation d'équivalence
  • Représentations tabulaires
  • Automates à états
• Spécifications de programmes
  • Introduction
  • Programmes non-déterministes
  • LD-relations
  • LD-relations : étude de cas
  • Documentation de programmes avec "displays"
• Modules
  • Introduction
  • Étude de cas - "KWIC INDEX"
  • Guide de modules
  • Documentation
• Spécifications de modules
  • Introduction
  • Règles pour des spécifications formelles et abstraites
  • Méthode de traces
• Documentation interne de modules
  • Introduction
  • Conception interne du module File12
  • Prédicat wfds («well-formed data structure »)
  • Obligations de preuve
• Vérification et validation de systèmes
  • Introduction
  • Vérification formelle
  • Inspection
  • Tests
• Génie de systèmes informatiques
• Annexe A : symboles mathématiques
• Liens
  • Liens "Le meilleur du Web / Best of the web"
  • Exemples de spécifications (interface, conception interne)