Titre :	Vérification et validation des diagrammes UML avec Spin
Type de document :	document multimédia
Auteurs :	Daoud Houache, Auteur ; Nasreddine Meharzi, Auteur ; Amel Belabbaci, Directeur de thèse
Editeur :	Laghouat : Université Amar Telidji - Département d'informatique
Année de publication :	2015
Importance :	61 p.
Accompagnement :	1 disque optique numérique (CD-ROM)
Note générale :	Option : Systèmes d'information et de décision
Langues :	Français
Mots-clés :	Vérification  Diagramme de séquences et d’activités  Exploitation de l’outil Spin
Résumé :	UML est largement utilisé pour la modélisation objet. Mais le manque de processus de la vérification rend difficile d’assurer que ces modèles sont corrects. Dans ce mémoire on va citer quelque méthode de vérification de ces modèles. L’objective de ce mémoire est de faire une exploitation de l’outil Spin pour la vérification de ces modèles, et plus précisément les diagrammes de séquences et d’activités.
note de thèses :	Mémoire de master en informatique

Vérification et validation des diagrammes UML avec Spin [document multimédia] / Daoud Houache, Auteur ; Nasreddine Meharzi, Auteur ; Amel Belabbaci, Directeur de thèse . - Laghouat : Université Amar Telidji - Département d'informatique, 2015 . - 61 p. + 1 disque optique numérique (CD-ROM).
Option : Systèmes d'information et de décision
Langues : Français

Mots-clés :	Vérification  Diagramme de séquences et d’activités  Exploitation de l’outil Spin
Résumé :	UML est largement utilisé pour la modélisation objet. Mais le manque de processus de la vérification rend difficile d’assurer que ces modèles sont corrects. Dans ce mémoire on va citer quelque méthode de vérification de ces modèles. L’objective de ce mémoire est de faire une exploitation de l’outil Spin pour la vérification de ces modèles, et plus précisément les diagrammes de séquences et d’activités.
note de thèses :	Mémoire de master en informatique