Contacto
Cómo comprar
Entrega
Guía de compras
V rification Et Validation Formelles de Mod les UML
Francés
166 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Tapa blanda
49.19
€
/
Tapa blanda
118.29
€
/
Tapa blanda
15.39
€
/
Tapa dura
284.49
€
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.
Sobre el libro
Francés
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
169.09
€
¡Hola! Soy Libroamiko, tu asesor de libros.
¿Cómo puedo ayudarte?