Vérification et validation formelles de modèles UML
search
  • Vérification et validation formelles de modèles UML
  • Vérification et validation formelles de modèles UML

Vérification et validation formelles de modèles UML


69,00 €
65,55 € Économisez 5%

Approches et outils

Cette thèse s'intéresse à la problématique de la vérification et de la validation (V&V) de modèles UML.

Notre objectif est de déterminer d'une part qu'un modèle donné est bien formé et cohérent, et d'autre part, qu'il satisfait les besoins des futurs utilisateurs du système d'information.

Dans ce contexte, nos principales contributions portent sur la proposition de deux approches pour la vérification et la validation formelles de modèles UML.

Ces deux approches sont réalisées suite à l'identification des relations inter-diagrammes UML, issues principalement du processus unifié UP et du méta-modèle UML.

La première approche s'articule autour de la vérification de la cohérence d'un modèle UML.

Elle permet de réduire le nombre important d'opérations de vérification élémentaire en préservant la cohérence globale du modèle.

La deuxième approche propose une démarche de validation des besoins des utilisateurs exprimés sous forme de cas d'utilisation.

L'objectif de cette approche consiste à s'assurer que l'ensemble des besoins des utilisateurs, exprimés par les diagrammes de cas d'utilisation documentés, est totalement couvert par le diagramme d'activités établi par l'expert de domaine.

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.

Quantité
Disponible

En achetant ce produit, vous collectez jusqu'à 6 points de fidélité. Votre panier totalisera 6 points à convertir lors d’un prochain achat en un bon de réduction de 3,00 €.


Mouez Ali, docteur en informatique, faculté de sciences économique et de gestion de l''université de Sfax, membre du laboratoire de recherche en informatique MIR@CL, enseignant en informatique à la faculté de sciences de l''université de Gafsa,Tunisie, responsable de l''enseignement de génie logiciel et de la conception orientée objet.


Fiche technique

Auteur
Mouez Ali
Langue
Français
Éditeur
Éditions universitaires européennes
Pays
Tunisie Tunisie

30 autres produits dans la même catégorie :

Voir tout

Voir tout