Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Vérification et validation formelles de modèles uml
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Vérification et validation formelles de modèles uml

Vérification et validation formelles de modèles uml

Ali-M - Collection Omn.univ.europ.

240 pages, parution le 17/12/2010

Résumé

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.

Caractéristiques techniques

  PAPIER
Éditeur(s) Editions universitaires européennes
Auteur(s) Ali-M
Collection Omn.univ.europ.
Parution 17/12/2010
Nb. de pages 240
Format 15.2 x 22.9
Couverture Broché
Poids 359g
EAN13 9786131551352

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription