Vérification et validation des diagrammes UML avec Spin / Daoud Houache

Public ISBD 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 (fre) 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 (fre) 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

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
CD 227	CD 227	CD	BIBLIOTHEQUE DE FACULTE DES SCIENCES	théses (sci)	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200