Survol de la méthode de spécification formelle « NIAM ».

Plan
Outils
Les concepts et identifiants.
Les idées.
Symbolisme des contraintes entre deux concepts
Contraintes entre deux idées, appelées aussi relations entre relations.
Des exemples pour bien comprendre
Pour mémoire, classification ensembliste des relations binaires entre concepts.
Relations d'héritage, dite aussi de sous-typages entre concepts.
Ne pas confondre Héritage et Agrégation.
Les propriétés descriptives des concepts (aussi appelées attributs).
Conclusion sur cette première approche de la spécification formelle.
  • Se comprendre autour d'un système d'information
    • Résumé et prise de conscience
    • Utiliser un langage formel pour communiquer ses idées !
    • Survol de la méthode de spécification formelle « NIAM ».
      • Les concepts et identifiants.
      • Les idées.
      • Symbolisme des contraintes entre deux concepts
      • Contraintes entre deux idées, appelées aussi relations entre relations.
      • Des exemples pour bien comprendre
      • Pour mémoire, classification ensembliste des relations binaires entre concepts.
      • Relations d'héritage, dite aussi de sous-typages entre concepts.
      • Ne pas confondre Héritage et Agrégation.
      • Les propriétés descriptives des concepts (aussi appelées attributs).
      • Conclusion sur cette première approche de la spécification formelle.
    • Modèles Statique, dynamique et fonctionnel.
Debut du moduleSuivantPrécédent
Accueil