Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Vérification Et Validation Formelles de Modèles UML

Vérification Et Validation Formelles de Modèles UML

Ali-M

Paperback

Series: Omn.Univ.Europ.

Literary CriticismGeneral Computers

ISBN10: 6131551359
ISBN13: 9786131551352
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 240
Weight: 0.79
Height: 0.55 Width: 5.98 Depth: 9.02
Language: French
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.

Also in

General Computers

View All