Raffinement et Refactoring de spécifications UML: Contribution à l’ingénierie des systèmes – Raffinement et Refactoring de spécifications UML PDF, EPUB

Les éléments clés souvent impliqués dans les cas d’utilisation: acteurs, description, données, stimulus, réponse, commentaires.


ISBN: 613157457X.

Nom des pages: 248.

Télécharger Raffinement et Refactoring de spécifications UML: Contribution à l’ingénierie des systèmes – Raffinement et Refactoring de spécifications UML gratuitement. Livres disponibles dans ces formats pdf, epub, ebook, mobi.

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.

Ou existe-t-il un autre moyen de maintenir ensemble UML et TDD? Aussi, il est bon de savoir sur le principe SOLID, et Agile soutient l’approche descendante (je pensais qu’avec TDD et XP, les gens sautent au code dès que possible et évitent la documentation). Toutes les sorties de cette technologie sont intégrées via XML dans MagicDraw.

Les workflows sont statiques et sont des activités techniques qui ne sont pas associées à une seule phase. Ce dernier pourrait exiger que tous les logiciels développés pour l’organisation suivent leurs normes. Cela pourrait spécifier des contraintes, telles que la taille d’un tableau devrait toujours croître de un lorsque nous utilisons la méthode add (), par exemple. Ici, le concept de Feature-Model-Connection a été introduit afin de prendre en charge la traçabilité des changements de configuration dans un système logiciel.