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 ...
Read More
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.
Read Less
Add this copy of Enabling Formal Model-Driven Development with QVT to cart. $87.10, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2015 by LAP Lambert Academic Publishing.
Add this copy of Enabling Formal Model-Driven Development with QVT to cart. $104.54, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2015 by LAP Lambert Academic Publishing.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Trade paperback (US). Glued binding. 372 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Enabling Formal Model-Driven Development with QVT to cart. $105.60, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 2015 by LAP Lambert Academic Publishing.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Trade paperback (US). Glued binding. 372 p. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Enabling Formal Model-Driven Development with QVT to cart. $105.61, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2015 by LAP Lambert Academic Publishing.
