Terug Terug

Enabling Formal Model-Driven Development with QVT Concepts, Methods and Tools

Name: Enabling Formal Model-Driven Development with QVT
Author: Li Dan

Auteur: Li Dan

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Li Dan

Engels
Paperback
9783659694493
03 juli 2015
372 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 03 juli 2015
Aantal pagina's: 372
Illustraties: Nee

Betrokkenen

Hoofdauteur: Li Dan
Hoofduitgeverij: Lap Lambert Academic Publishing

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 21 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 152 mm
Verpakking hoogte: 21 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 544 g

EAN

EAN: 9783659694493

Je vindt dit artikel in

Categorieën: Computers & Informatica

Bedrijfsapplicaties

Ondernemingssoftware

Boeken
Taal: Engels
Beschikbaarheid: Leverbaar
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.