Maîtriser la sémantique d'un Système d'information

Les étoiles indiquent le niveau de chaque grande partie : initial (), intermédiaire () et confirmé ().

Utiliser un langage formel pour communiquer ses idées !

• Écoutez-moi, je vous parle !

• Les méthodes de spécification formelles

• Quelle méthode choisir ?

Survol de la méthode de spécification formelle "NIAM"

• Les concepts et identifiants

• Les idées

• Symbolisme des contraintes entre deux concepts BÂTIMENT

• Contraintes entre deux idées, appelées aussi relations entre relations

• Relation 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èle statique, dynamique et fonctionnel

• Les aspects inséparables d'un système d'information

• Le cycle de vie d'un logiciel

• Quand le modèle conceptuel tient lieu de contrat

• Le statut d'acteur dans un modèle dynamique

• Les cas d'utilisation (use cases)