Verwandte Artikel zu Enabling Formal Model-Driven Development with QVT:...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Dan 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 software engineering from the University of Macau, China.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Enabling Formal Model-Driven Development with QVT:...
Beispielbild für diese ISBN
Enabling Formal ModelDriven Development with QVT
Print-on-DemandAnbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783659694493
Neu kaufen
EUR 91,41
EUR 4,88 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Enabling Formal Model-Driven Development with QVT
Print-on-DemandAnbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
PAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bestandsnummer des Verkäufers L0-9783659694493
Neu kaufen
EUR 97,04
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP Lambert Academic Publishing 2015-07-03, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783659694493
Neu kaufen
EUR 87,12
EUR 18,17 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP Lambert Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Bestandsnummer des Verkäufers ria9783659694493_new
Neu kaufen
EUR 99,25
EUR 13,25 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP LAMBERT Academic Publishing Jul 2015, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783659694493
Neu kaufen
EUR 93,90
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 158224053
Neu kaufen
EUR 74,54
EUR 48,99 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Enabling Formal Model-Driven Development with QVT : Concepts, Methods and Tools
Verlag:
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783659694493
Neu kaufen
EUR 95,03
EUR 35,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Enabling Formal Model-Driven Development with QVT | Concepts, Methods and Tools
Verlag:
LAP LAMBERT Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Taschenbuch
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 104403939
Neu kaufen
EUR 78,00
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP LAMBERT Academic Publishing Jul 2015, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783659694493
Neu kaufen
EUR 93,90
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Enabling Formal Model-Driven Development with QVT
Verlag:
LAP Lambert Academic Publishing, 2015
ISBN 10: 3659694495
ISBN 13: 9783659694493
Gebraucht
paperback
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Bestandsnummer des Verkäufers ERICA82336596944956
Gebraucht kaufen
EUR 209,07
EUR 29,33 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar