• Aucun résultat trouvé

Évaluation d'outils de vérification pour les spécifications de systèmes d'information

N/A
N/A
Info
Télécharger
Protected

Academic year: 2021

Partager "Évaluation d'outils de vérification pour les spécifications de systèmes d'information"

Copied!
77
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

Loading

Figure

figure 1.1 - Diagramme montrant les differentes etapes de la generation de systemes d'in- d'in-formation avec APIS
Figure 2.1: The overall process of IS generation and validation
Figure 2.2: Requirement class diagram of the library system
Figure 2.3: Properties to be verified by the model checker
+7

Références

Télécharger maintenant ( PDF - 77 Page - 2.86 MB )

Documents relatifs