Items related to Enabling Formal Model-Driven Development with QVT
Synopsis
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.
Search results for Enabling Formal Model-Driven Development with QVT
Stock Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
PAP
Seller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783659694493
Stock Image
Enabling Formal ModelDriven Development with QVT
Published by
LAP Lambert Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
PAP
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783659694493
Buy New
US$ 102.82
US$ 5.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP Lambert Academic Publishing 2015-07-03, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783659694493
Buy New
US$ 97.99
US$ 20.44 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP Lambert Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783659694493_new
Buy New
US$ 111.64
US$ 14.90 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP LAMBERT Academic Publishing Jul 2015, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - 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
Buy New
US$ 108.79
US$ 25.87 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Li DanDan Li is currently an Associate Research Professor in the Guizhou Academy of Sciences, China. His research interests include model-driven software development, model transformations and formal methods. He received his PhD in s. Seller Inventory # 158224053
Buy New
US$ 86.36
US$ 55.10 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Enabling Formal Model-Driven Development with QVT : Concepts, Methods and Tools
Published by
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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 # 9783659694493
Buy New
US$ 110.10
US$ 39.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Enabling Formal Model-Driven Development with QVT | Concepts, Methods and Tools
Published by
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Enabling Formal Model-Driven Development with QVT | Concepts, Methods and Tools | Dan Li | Taschenbuch | 372 S. | Englisch | 2015 | LAP LAMBERT Academic Publishing | EAN 9783659694493 | Verantwortliche Person für die EU: OmniScriptum GmbH & Co. KG, Bahnhofstr. 28, 66111 Saarbrücken, info[at]akademikerverlag[dot]de | Anbieter: preigu. Seller Inventory # 104403939
Buy New
US$ 90.37
US$ 78.74 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Seller Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP LAMBERT Academic Publishing Jul 2015, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 372 pp. Englisch. Seller Inventory # 9783659694493
Buy New
US$ 108.79
US$ 67.49 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Enabling Formal Model-Driven Development with QVT
Published by
LAP Lambert Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Used
paperback
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA82336596944956
Buy Used
US$ 235.17
US$ 32.99 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available