Raffinement Et Refactoring de Sp cifications UML

Name: Raffinement Et Refactoring de Sp cifications UML
Brand: Omniscriptum
SKU: 9786131574573
Price: 20194 HUF
Availability: InStock

Szerző: Boulbaba Ben Ammar

Nyelv:

Kötés: Puha kötésű

Kiadó: Omniscriptum

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

20 194 Ft

La spécification de systčmes complexes est une tâche difficile qui ne peut ętre accomplie en une seu...

Információk a könyvről

Szerző

Boulbaba Ben Ammar

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

184

EAN

9786131574573

ISBN

613157457X

Enbook ID

06886271

Kiadó

Omniscriptum

Súly

277

Méretek

152 x 229 x 11

Teljes leírás

La spécification de systčmes complexes est une tâche difficile qui ne peut ętre accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu ŕ de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. L'activité de refactoring consiste ŕ restructurer un modčle en vue d'améliorer certains facteurs de qualité, tout en préservant la cohérence de ce modčle.Ce travail préconise l'utilisation de deux techniques de raffinement et de refactoring afin d'établir des modčles UML de qualité c'est-ŕ-dire corrects par construction, extensibles, réutilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modélisation statique de son application et proposition des schémas de refactoring des modčles UML décrits par des diagrammes de classes, contraintes OCL et diagrammes d'états-transitions afin d'aider le concepteur lors de la restructuration des modčles UML.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Raffinement Et Refactoring de Sp cifications UML

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták