Raffinement et refactoring de specifications uml

Descriptif détaillé

media/pim/TITELIVE/44_9786131574573_1_75.jpg

ajouter

Raffinement et refactoring de specifications uml

Vendu et expédié par : Cultura

État : Neuf

INDISPONIBLE EN LIGNE

recevoir une alerte stock

stock en magasin

Retrouvez le produit près de chez vous.

*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier

description

descriptif du fournisseur

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.

Raffinement et refactoring de specifications uml

Raffinement et refactoring de specifications uml

recevoir une alerte stock

On vous recommande avec votre achat

Raffinement et refactoring de specifications uml

Raffinement et refactoring de specifications uml

59,00€

+

voir mon panier

Découvrez aussi

Romans littérature Livre

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

Off-campus Tome 4 : the goal • Off-campus Tome 2 : the mistake • Off-campus Tome 1 : the deal • L'adolescence du perroquet • Seasons Tome 4 : Un été pour te retrouver • D'autres printemps • Briar university Tome 3 : The play ...

... Seasons Tome 3 : Un printemps pour te succomber • Briar university Tome 2 : The risk • Domaine d'activités 2 : mise en oeuvre des opérations internationales : BTS CI 1re et 2ème années (édition 2021) • Briar university Tome 4 : The dare ...

... Briar university Tome 1 : The chase

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.