دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Benjamin C. Pierce (auth.), Richard F. Paige (eds.) سری: Lecture Notes in Computer Science 5563 : Programming and Software Engineering ISBN (شابک) : 3642024076, 9783642024078 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 293 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و عمل تغییرات مدل: دومین کنفرانس بین المللی، ICMT 2009، زوریخ، سوئیس، 29-30 ژوئن 2009. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دومین کنفرانس بین المللی تئوری و عمل تبدیل مدل، ICMT 2009، در ETH در زوریخ، سوئیس، در ژوئن 2009 برگزار شد.
14 مقالات کامل اصلاح شده و 3 مقاله کوتاه اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده به دقت بررسی و از 67 مورد ارسالی انتخاب شدند. این مقالات به سؤالاتی در مورد ماهیت و ویژگیهای تبدیل مدل، ترکیبپذیری و ترکیب آنها برای ایجاد تبدیلهای مدل جدید و اجرای عملیات مدیریت مدل سطح بالا، طبقهبندی زبانها برای بیان تبدیلها، اندازهگیری کیفیت و الزامات فراکارکردی تحولات مدل و تعریف روشهای توسعه که امکان بهرهبرداری از تمام مزایای بالقوه آنها را فراهم میکند. این جلد همچنین حاوی صورتجلسههای نشست بینالمللی GRACE در مورد تحولات دو جهته است که در دسامبر 2009 در نزدیکی توکیو، ژاپن برگزار شد.
This book constitutes the refereed proceedings of the Second International Conference on Theory and Practice of Model Transformations, ICMT 2009, held at the ETH in Zurich, Switzerland, in June 2009.
The 14 revised full papers and 3 revised short papers presented together with 1 invited lecture were carefully reviewed and selected from 67 submissions. The papers address questions about the nature and features of model transformations, their composability and combination to build new model transformations and implement high-level model management operations, the classification of languages for expressing transformations, the measurement of the quality and extra-functional requirements of model transformations, and the definition of development methodologies that allow exploiting all their potential benefits. The volume also contains the minutes of the GRACE International Meeting on Bidirectional Transformations, held in December 2009 near Tokyo, Japan.
Front Matter....Pages -
Foundations for Bidirectional Programming....Pages 1-3
Model Superimposition in Software Product Lines....Pages 4-19
Efficient Model Transformations by Combining Pattern Matching Strategies....Pages 20-34
Managing Dependent Changes in Coupled Evolution....Pages 35-51
Model Transformation By-Example: An Algorithm for Generating Many-to-Many Transformation Rules in Several Model Transformation Languages....Pages 52-66
A Collection Operator for Graph Transformation....Pages 67-82
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions....Pages 83-99
Towards Model Round-Trip Engineering: An Abductive Approach....Pages 100-115
Rewriting Queries by Means of Model Transformations from SPARQL to OQL and Vice-Versa....Pages 116-131
Solving Constraints in Model Transformations....Pages 132-147
Automatic Model Generation Strategies for Model Transformation Testing....Pages 148-164
A Simple Game-Theoretic Approach to Checkonly QVT Relations....Pages 165-180
Supporting Model–Driven Development of Object–Relational Database Schemas: A Case Study....Pages 181-196
Typing in Model Management....Pages 197-212
Supporting Parallel Updates with Bidirectional Model Transformations....Pages 213-228
Experiments with a High-Level Navigation Language....Pages 229-238
Using Metrics for Assessing the Quality of ASF+SDF Model Transformations....Pages 239-248
Achieving Rule Interoperability Using Chains of Model Transformations....Pages 249-259
Bidirectional Transformations: A Cross-Discipline Perspective....Pages 260-283
Back Matter....Pages -