Personnaliser

OK

Durée limitée Jardin et Bricolage : 10€, 20€ ou 100€ offerts* dès 69€, 149€ ou 999€ d'achat !

En profiter

Enabling Formal Model-Driven Development with QVT - Li, Dan

Note : 0

0 avis
  • Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

127,09 €

Produit Neuf

  • Ou 31,77 € /mois

    • Livraison à 0,01 €
    • Livré entre le 23 juillet et le 4 août
    Voir les modes de livraison

    RiaChristie

    PRO Vendeur favori

    4,9/5 sur + de 1 000 ventes

    Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783659694493_dbm

    Publicité
     
    Vous avez choisi le retrait chez le vendeur à
    • Payez directement sur Rakuten (CB, PayPal, 4xCB...)
    • Récupérez le produit directement chez le vendeur
    • Rakuten vous rembourse en cas de problème

    Gratuit et sans engagement

    Félicitations !

    Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

    En savoir plus

    Retour

    Horaires

        Note :


        Avis sur Enabling Formal Model - Driven Development With Qvt Format Broché  - Livre Littérature Générale

        Note : 0 0 avis sur Enabling Formal Model - Driven Development With Qvt Format Broché  - Livre Littérature Générale

        Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.


        Présentation Enabling Formal Model - Driven Development With Qvt Format Broché

         - Livre Littérature Générale

        Livre Littérature Générale - Li, Dan - 01/07/2015 - Broché - Langue : Anglais

        . .

      • Auteur(s) : Li, Dan
      • Editeur : Lap Lambert Academic Publishing
      • Langue : Anglais
      • Parution : 01/07/2015
      • Format : Moyen, de 350g à 1kg
      • Nombre de pages : 372.0
      • ISBN : 9783659694493



      • Résumé :
        To achieve the faster and less costly software development promised by the Model Driven Architecture (MDA), automating the development process with tools is critical, but not easy. One reason is that MDA lacks a precise and concrete development methodology. This book aims at exploring techniques to automate the MDA development process through the application of formal refinement mechanism as model transformations. The work is based on the refinement for Component and Object Systems (rCOS), which supports object and component-based modeling, and includes a comprehensive refinement calculus. The graphical notation of QVT-R, an OMG's standard transformation language, is adopted to define the refinement transformations. Particularly we develop an approach and a support tool to implement QVT-R as executable XSLT programs. Integrated the refinement rules into a CASE tool, the full model-driven development process can thus be conducted by interactively applying the rules. Basic concepts and methods of MDA, QVT-R and rCOS are discussed in the book. It could possibly help students and researchers working on model-driven software development and the application of formal methods....

        Détails de conformité du produit

        Consulter les détails de conformité de ce produit (

        Personne responsable dans l'UE

        )
        Le choixNeuf et occasion
        Minimum5% remboursés
        Le service clientsÀ votre écoute
        LinkedinFacebookTwitterInstagramYoutubePinterestTiktok
        visavisa
        mastercardmastercard
        klarnaklarna
        paypalpaypal
        floafloa
        americanexpressamericanexpress
        Rakuten Logo
        • Rakuten Kobo
        • Rakuten TV
        • Rakuten Viber
        • Rakuten Viki
        • Plus de services
        • À propos de Rakuten
        Rakuten.com