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.
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.