• Aucun résultat trouvé

Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP)

N/A
N/A
Protected

Academic year: 2021

Partager "Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP)"

Copied!
126
0
0

Texte intégral

Loading

Figure

Figure 1.1 – RM-ODP viewpoints and specifications
Figure 1.2 – Behavior diagram and Structure diagram
Figure 1.4 – Machines and contexts Relationships
Figure 1.5 – Examples of Correct Visibilities
+7

Références

Documents relatifs