دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
دانلود کتاب نظریه و عملکرد تحولات مدل: اولین کنفرانس بین المللی ، ICMT 2008 ، زوریخ ، سوئیس ، 1-2 ژوئیه 2008
مشخصات کتاب
Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Mika Siikarla, Markku Laitkorpi, Petri Selonen, Tarja Systä (auth.), Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio (eds.) سری: Lecture Notes in Computer Science 5063 : Programming and Software Engineering ISBN (شابک) : 3540699260, 9783540699262 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 270 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب نظریه و عملکرد تحولات مدل: اولین کنفرانس بین المللی ، ICMT 2008 ، زوریخ ، سوئیس ، 1-2 ژوئیه 2008: علوم کامپیوتر، عمومی
در صورت تبدیل فایل کتاب Theory and Practice of Model Transformations: First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه و عملکرد تحولات مدل: اولین کنفرانس بین المللی ، ICMT 2008 ، زوریخ ، سوئیس ، 1-2 ژوئیه 2008 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نظریه و عملکرد تحولات مدل: اولین کنفرانس بین المللی ، ICMT 2008 ، زوریخ ، سوئیس ، 1-2 ژوئیه 2008
این کتاب مجموعه مقالات داوری اولین کنفرانس بین‌المللی نظریه و عمل تبدیل‌های مدل، ICMT 2008، در زوریخ، سوئیس، در ژوئیه 2008 است.
17 مقاله کامل اصلاح‌شده ارائه شده به دقت بررسی و از بین 54 مورد ارسالی انتخاب شد. دامنه مشارکت‌ها از موضوعات نظری و روش‌شناختی گرفته تا مسائل و کاربردهای اجرایی را شامل می‌شود. مقالات شامل موضوعات مختلف مرتبط با: فرآیند و مهندسی تبدیل مدل. تبدیل مدل پشتیبانی از همزمانی و زمان. تطبیق و نگاشت در قوانین تبدیل مدل. پشتیبانی از زبان برای استفاده مجدد از تبدیل مدل و مدولار بودن. و صحت و تحلیل تبدیل مدل.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008.
The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
فهرست مطالب
Front Matter....Pages -
Transformations Have to be Developed ReST Assured....Pages 1-15
Lifting Transformational Models of Product Lines: A Case Study....Pages 16-30
Model Synchronisation: Definitions for Round-Trip Engineering....Pages 31-45
The Epsilon Transformation Language....Pages 46-60
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?....Pages 61-75
On Specifying and Visualising Long-Running Empirical Studies....Pages 76-90
Programmed Graph Rewriting with Time for Simulation-Based Design....Pages 91-106
Live Model Transformations Driven by Incremental Pattern Matching....Pages 107-121
Semantics-Based Weaving of UML Sequence Diagrams....Pages 122-136
Translation of QVT Relations into QVT Operational Mappings....Pages 137-151
Composition Techniques for Rule-Based Model Transformation Languages....Pages 152-167
Approaches for Model Transformation Reuse: Factorization and Composition....Pages 168-182
Code Generation by Model Transformation....Pages 183-198
Application of Reflection in Model Transformation Languages....Pages 199-213
Proofs-as-Model-Transformations....Pages 214-228
Analysing Graph Transformation Rules through OCL....Pages 229-244
Extracting Object Interactions Out of Software Contracts Using Model Transformations....Pages 245-259
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Symposium on algebraic topology
دانلود کتاب Object-Oriented Technology. ECOOP 2008 Workshop Reader: ECOOP 2008 Workshops Paphos, Cyprus, July 7-11, 2008 Final Reports
دانلود کتاب Practical Aspects of Knowledge Management: 6th Internatioal Conference, Pakm 2006, Vienna, Austria, November 30-December 1, 2006, Proceedings
دانلود کتاب Advances in Mass Data Analysis of Signals and Images in Medicine, Biotechnology and Chemistry: International Conferences MDA 2006/2007, Leipzig, Germany, July 18, 2007. Selected Papers
دانلود کتاب Ergonomic requirements for office work with visual display terminals (VDTs) -- Part 1: General introduction
دانلود کتاب Cinema 4D 10 Workshop
دانلود کتاب Foundations and Applications of Multi-Agent Systems: UKMAS Workshops 1996–2000 Selected Papers
دانلود کتاب Algorithmic Number Theory: 8th International Symposium, ANTS-VIII Banff, Canada, May 17-22, 2008 Proceedings
دانلود کتاب ICPEAC XIX Conference - The Physics of Electronic and Atomic Collisions
