Enabling Formal Model-Driven Development with QVT

 
9783659694493: Enabling Formal Model-Driven Development with QVT
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 92.00
US$ 89.93

Convert Currency

Shipping: US$ 5.38
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Li Dan
Published by LAP Lambert Academic Publishing (2016)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783659694493_lsuk

More Information About This Seller | Contact this Seller

Buy New
US$ 89.93
Convert Currency

Add to Basket

Shipping: US$ 5.38
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Li Dan
Published by LAP Lambert Academic Publishing (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2015. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 99.20
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

3.

Li, Dan
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Quantity Available: 1
Seller:
Rating
[?]

Book Description Condition: New. Publisher/Verlag: LAP Lambert Academic Publishing | Concepts, Methods and Tools | 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. | Format: Paperback | Language/Sprache: english | 372 pp. Seller Inventory # K9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 99.73
Convert Currency

Add to Basket

Shipping: US$ 3.65
From Germany to U.S.A.
Destination, Rates & Speeds

4.

Li Dan
Published by LAP Lambert Academic Publishing (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2015. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 99.49
Convert Currency

Add to Basket

Shipping: US$ 12.47
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Li Dan
Published by LAP Lambert Academic Publishing
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Softcover Quantity Available: 1
Seller:
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishing. Condition: New. Paperback. Worldwide shipping. FREE fast shipping inside USA (express 2-3 day delivery also available). Tracking service included. Ships from United States of America. Seller Inventory # 3659694495

More Information About This Seller | Contact this Seller

Buy New
US$ 116.52
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

6.

Dan Li
Published by LAP Lambert Academic Publishing Jul 2015 (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description LAP Lambert Academic Publishing Jul 2015, 2015. Taschenbuch. Condition: Neu. Neuware - 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. 372 pp. Englisch. Seller Inventory # 9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 106.87
Convert Currency

Add to Basket

Shipping: US$ 20.93
From Germany to U.S.A.
Destination, Rates & Speeds

7.

Dan Li
Published by LAP Lambert Academic Publishing Jul 2015 (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description LAP Lambert Academic Publishing Jul 2015, 2015. Taschenbuch. Condition: Neu. Neuware - 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. 372 pp. Englisch. Seller Inventory # 9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 106.87
Convert Currency

Add to Basket

Shipping: US$ 20.93
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Li Dan
Published by LAP Lambert Academic Publishing (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Paperback Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishing, 2015. Paperback. Condition: New. book. Seller Inventory # M3659694495

More Information About This Seller | Contact this Seller

Buy New
US$ 132.44
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

9.

Li Dan
Published by LAP Lambert Academic Publishing, United States (2015)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description LAP Lambert Academic Publishing, United States, 2015. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.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. Seller Inventory # AAV9783659694493

More Information About This Seller | Contact this Seller

Buy New
US$ 135.29
Convert Currency

Add to Basket

Shipping: US$ 4.15
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Li Dan
Published by LAP Lambert Academic Publishin (2017)
ISBN 10: 3659694495 ISBN 13: 9783659694493
New Paperback Quantity Available: 2
Print on Demand
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description LAP Lambert Academic Publishin, 2017. Paperback. Condition: New. Never used! This item is printed on demand. Seller Inventory # P113659694495

More Information About This Seller | Contact this Seller

Buy New
US$ 137.57
Convert Currency

Add to Basket

Shipping: US$ 1.99
Within U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book