ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

دانلود کتاب نظریه و عملکرد تحولات مدل: سومین کنفرانس بین المللی ، ICMT 2010 ، مالاگا ، اسپانیا ، 28 ژوئن - 2 ژوئیه ، 2010. مجموعه مقالات

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

مشخصات کتاب

Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: Lecture Notes in Computer Science 6142 : Programming and Software Engineering 
ISBN (شابک) : 9783642136887, 3642136885 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 286 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 33,000



کلمات کلیدی مربوط به کتاب نظریه و عملکرد تحولات مدل: سومین کنفرانس بین المللی ، ICMT 2010 ، مالاگا ، اسپانیا ، 28 ژوئن - 2 ژوئیه ، 2010. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب Theory and Practice of Model Transformations: Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه و عملکرد تحولات مدل: سومین کنفرانس بین المللی ، ICMT 2010 ، مالاگا ، اسپانیا ، 28 ژوئن - 2 ژوئیه ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب نظریه و عملکرد تحولات مدل: سومین کنفرانس بین المللی ، ICMT 2010 ، مالاگا ، اسپانیا ، 28 ژوئن - 2 ژوئیه ، 2010. مجموعه مقالات



تغییر مدل‌ها چسبی هستند که فعالیت‌های مدل‌سازی را به هم پیوند می‌دهند. اگر در خشم از مدل‌سازی استفاده کرده‌اید، چه بدانید چه ندانید، از تبدیل مدل استفاده کرده‌اید. آنها در همه اشکال و اندازه ها از مدل های متحرک بین ابزارهای مختلف تا تولید پیاده سازی هستند. دگرگونی‌های مدل شروع‌های ساده‌ای دارند - در یک نقطه، نه چندان دور، بسیاری از افراد «معلوم» گفتند که راه رو به جلو در تبدیل مدل استفاده از XSLT است. این که این ایده اکنون لبخندی پرخاشگر برمی انگیزد، نشان می دهد که جامعه تحول مدل در مدت زمان کوتاهی تا چه حد پیشرفت کرده است. جایی که زمانی تبدیل‌های مدل با هم در انواع زبان‌های نامناسب هک می‌شد، اکنون تعدادی زبان و تئوری قدرتمند و اختصاصی در اختیار داریم. از سال 2008، مجموعه کنفرانس های ICMT نقش بزرگی در پیشبرد این موضوع ایفا کرده است، و این نسخه سوم هیچ تفاوتی نداشت. تئوری‌ها و زبان‌های ارائه‌شده در ICMT اجازه داده‌اند که تبدیل‌های مدل اصولی نقش بیشتری در سیستم‌های واقعی داشته باشند. البته هنوز کارهای بیشتری برای انجام دادن وجود دارد: ما به تغییرات مدل، زبان‌ها و تئوری‌های خود نیاز داریم تا مقیاس‌پذیری بیشتری داشته باشند، امکان بیان بیشتر، «قابلیت‌پذیری بیشتر» و قابلیت استفاده مجدد را فراهم کنند. و ما فاقد مطالعات پشتوانه تجربی تغییرات مدل در حال استفاده هستیم. بدون شک می توانید به شکاف های دیگری فکر کنید. با این حال، اگرچه برخی از چالش‌های دنیای واقعی فراتر از دسترس ما هستند، هر سال یک بار مشکلات ترسناک غلبه می‌کنند. بسیاری از پیشرفت‌ها اکنون توسط ICMT هدایت می‌شوند، و فتنه امسال نشان داد که چگونه تحولات مدل به طور فزاینده‌ای در مناطقی که قبلاً ناآشنا بوده‌اند استفاده می‌شوند.


توضیحاتی درمورد کتاب به خارجی

Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transformations have humble beginnings—at one point, not long ago, it was said by many ‘in the know’ that the way forward in model transformations was to use XSLT. That this idea now raises a wry smile shows how far the model transformation community has come in a short time. Where once model transformations were hacked together in a variety of unsuitable languages, we now have a number of powerful, dedicated languages and theories at our disposal. Since 2008, the ICMT conference series has played a huge part in advancing the subject, and this third edition was no di?erent. The theories and languages presented at ICMT have allowed principled model transformations to play an ever greater part in real systems. Of course there is still much more to do: we need our model transformations, languages, and theories to scale further, allow greater expressivity, be more ?exible, and aid reusability; and we lack empirically backed studies of model transformations in use. Doubtless you can think of other gaps. Yet, though some real-world challenges lie just beyond our reach,eachyearseesonce-dauntingproblemsconquered.Muchofthatprogressis nowdriven byICMT, andthis year’sedition showedhow model transformations are increasingly being used in previously unfamiliar areas.



فهرست مطالب

Front Matter....Pages -
Search Computing: A Model-Driven Perspective....Pages 1-15
Domain-Specific Composition of Model Deltas....Pages 16-30
Temporal Model-Based Diagnostics Generation for HVAC Control Systems....Pages 31-44
Synthesis of OCL Pre-conditions for Graph Transformation Rules....Pages 45-60
From State- to Delta-Based Bidirectional Model Transformations....Pages 61-76
A Constructive Approach to Testing Model Transformations....Pages 77-92
From Sequence Diagrams to State Machines by Graph Transformation....Pages 93-107
Safe Composition of Transformations....Pages 108-122
Towards Incremental Execution of ATL Transformations....Pages 123-137
Constructing and Navigating Non-invasive Model Decorations....Pages 138-152
Model-to-Model Transformations By Demonstration....Pages 153-167
Implementing Business Process Recovery Patterns through QVT Transformations....Pages 168-183
Model Migration with Epsilon Flock....Pages 184-198
Exceptional Transformations....Pages 199-214
Improving Higher-Order Transformations Support in ATL....Pages 215-229
Towards a Rewriting Logic Semantics for ATL....Pages 230-244
Metamodel Matching Based on Planar Graph Edit Distance....Pages 245-259
Surviving the Heterogeneity Jungle with Composite Mapping Operators....Pages 260-275
Back Matter....Pages -




نظرات کاربران