Kód: 06886271
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 ... celý popis
Francúzština
52.59 €
Bežne: 59.68 €
Ušetríte 7.09 €

Nákupom získate 127 bodov
Anotácia knihy
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.
Parametre knihy
Zaradenie knihy Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires
52.59 €
Francúzština
Osobný odber Bratislava a 12825 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)Nákupný košík ( prázdny )