Catalogue des ouvrages Université de Laghouat
A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'auteur
Auteur Nasreddine Meharzi
Documents disponibles écrits par cet auteur
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheVérification et validation des diagrammes UML avec Spin / Daoud Houache
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 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité CD 227 CD 227 CD BIBLIOTHEQUE DE FACULTE DES SCIENCES théses (sci) Disponible
