Raffinement et Refactoring de spécifications UML

Verfügbarkeit:
Auf Lager.
Artikelnummer:
1018206
SFr. 71,00
Versandkosten
Ihre Kundenmeinung hinzufügen
  • Produktbeschreibung

    Raffinement et Refactoring de spécifications UML

    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.
  • Zusatzinformation

    Autor
    Bindung
    Taschenbuch
    Verlag
    Éditions universitaires européennes
    ISBN / EAN
    9786131574573
  • Sie könnten auch an folgenden Produkten interessiert sein

    Art.Nr. 1257326

    Gustave Eiffel,Tour de 300 metres

    SFr. 160,00
    Art.Nr. 861147

    SharePoint Kompendium.1 Cloud Readiness

    SFr. 17,95
    Art.Nr. 1275715

    Küpper,C.:Ernährung älterer Menschen

    SFr. 25,95
  • 0 Kundenmeinungen

    Vielen Dank für das Interesse an unsere Kundenmeinungen.
    Wir können die Authentizität der Bewertungen nicht prüfen und sicherstellen.

    Schreiben Sie selbst eine Rezension

    Ihre Meinung interessiert uns – und hilft anderen Kunden bei der Auswahl.