دانلود کتاب Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
کتاب زبان ها و سیستم های مهندسی مدل محور: سیزدهمین کنفرانس بین المللی، MODELS 2010، اسلو، نروژ، 3-8 اکتبر 2010، مجموعه مقالات، قسمت اول نسخه زبان اصلی
دانلود کتاب زبان ها و سیستم های مهندسی مدل محور: سیزدهمین کنفرانس بین المللی، MODELS 2010، اسلو، نروژ، 3-8 اکتبر 2010، مجموعه مقالات، قسمت اول بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
نام کتاب : Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I
ویرایش : 1
عنوان ترجمه شده به فارسی : زبان ها و سیستم های مهندسی مدل محور: سیزدهمین کنفرانس بین المللی، MODELS 2010، اسلو، نروژ، 3-8 اکتبر 2010، مجموعه مقالات، قسمت اول
سری : Lecture Notes in Computer Science 6394
نویسندگان : Ole Lehrmann Madsen, Birger Møller-Pedersen (auth.), Dorina C. Petriu, Nicolas Rouquette, Øystein Haugen (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 442
ISBN (شابک) : 9783642161445 , 9783642161452
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 15 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مجموعه کنفرانس‌های MODELS بهترین مکان برای تبادل ایده‌ها و تجربیات فنی نوآورانه با تمرکز بر یک رشته فنی جدید بسیار مهم است: نرم‌افزار مبتنی بر مدل و مهندسی سیستم. گسترش این رشته پیامد مستقیم افزایش اهمیت و موفقیت روش های مبتنی بر مدل در عمل است. بسیاری از روش‌های الکترونیکی منجر به اختراع مفاهیم، زبان‌ها و ابزارهایی برای تعریف، تجزیه و تحلیل، تبدیل، و تأیید زبان‌های مدل‌سازی خاص دامنه و استانداردهای زبان مدل‌سازی عمومی و همچنین استفاده از آنها برای مهندسی نرم‌افزار و سیستم‌ها شد. MODELS 2010، سیزدهمین ویرایش از سری کنفرانس ها، در اسلو، نروژ، 3 تا 8 اکتبر 2010، همراه با کارگاه های ماهواره ای، سمپوزیوم ها و آموزش های متعدد برگزار شد. این کنفرانس خوش شانس بود که سه سخنران اصلی داشت: اول لرهمان مدسن (دانشگاه آرهوس، دانمارک)، ادوارد آ. لی (UC برکلی، ایالات متحده آمریکا) و پاملا زاوی (آزمایشگاه های AT&T، ایالات متحده). برای ارائه یک انجمن گسترده تر برای گزارش پیشرفت علمی و همچنین تجربیات ناشی از کاربردهای عملی روش های مبتنی بر مدل، کنفرانس 2010 موارد ارسالی را در دو مسیر مجزا پذیرفت: مبانی و کاربردها. هدف اصلی اولین مسیر ارائه نتایج تحقیقاتی جدید است که به ارتقای پیشرفته ترین رشته اختصاص دارد، در حالی که هدف دوم ارائه تصویری واقعی و قابل اعتماد از وضعیت فعلی است -- the- انجام مهندسی مبتنی بر مدل، به طوری که جامعه گسترده تر از توانایی ها و موفقیت های این رشته نسبتاً جوان بهتر مطلع شود. این جلد شامل نسخه نهایی مقالات پذیرفته شده برای ارائه در کنفرانس از هر دو مسیر است.
فهرست مطالب :
Front Matter....Pages -
A Unified Approach to Modeling and Programming....Pages 1-15
Generic Meta-modelling with Concepts, Templates and Mixin Layers....Pages 16-30
An Observer-Based Notion of Model Inheritance....Pages 31-45
MDE-Based Approach for Generalizing Design Space Exploration....Pages 46-60
A Comparison of Model Migration Tools....Pages 61-75
Incremental Evaluation of Model Queries over EMF Models....Pages 76-90
Active Operations on Collections....Pages 91-105
trans ML: A Family of Languages to Model Model Transformations....Pages 106-120
Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations....Pages 121-135
A Technique for Automatic Validation of Model Transformations....Pages 136-150
Static- and Dynamic Consistency Analysis of UML State Chart Models....Pages 151-165
Verifying Semantic Conformance of State Machine-to-Java Code Generators....Pages 166-180
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models....Pages 181-195
Taming Graphical Modeling....Pages 196-210
Taming EMF and GMF Using Model Transformation....Pages 211-225
A Visual Traceability Modeling Language....Pages 226-240
Application Logic Patterns – Reusable Elements of User-System Interaction....Pages 241-255
A Metamodel-Based Approach for Automatic User Interface Generation....Pages 256-270
Rapid UI Development for Enterprise Applications: Combining Manual and Model-Driven Techniques....Pages 271-285
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies....Pages 286-300
Improving Test Models for Large Scale Industrial Systems: An Inquisitive Study....Pages 301-315
Automatically Discovering Properties That Specify the Latent Behavior of UML Models....Pages 316-330
Towards a Semantics of Activity Diagrams with Semantic Variation Points....Pages 331-345
An AADL-Based Approach to Variability Modeling of Automotive Control Systems....Pages 346-360
Extending Variability for OCL Interpretation....Pages 361-375
Inter-modelling: From Theory to Practice....Pages 376-391
Consistent Modeling Using Multiple UML Profiles....Pages 392-406
A Systematic Review on the Definition of UML Profiles....Pages 407-422
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
The MODELS series of conferences is the premier venue for the exchange of - novative technical ideas and experiences focusing on a very important new te- nical discipline: model-driven software and systems engineering. The expansion ofthisdisciplineisadirectconsequenceoftheincreasingsigni?canceandsuccess of model-based methods in practice. Numerous e?orts resulted in the invention of concepts, languagesand tools for the de?nition, analysis,transformation, and veri?cationofdomain-speci?cmodelinglanguagesandgeneral-purposemodeling language standards, as well as their use for software and systems engineering. MODELS 2010, the 13th edition of the conference series, took place in Oslo, Norway, October 3-8, 2010, along with numerous satellite workshops, symposia and tutorials. The conference was fortunate to have three prominent keynote speakers: Ole Lehrmann Madsen (Aarhus University, Denmark), Edward A. Lee (UC Berkeley, USA) and Pamela Zave (AT&T Laboratories, USA). To provide a broader forum for reporting on scienti?c progress as well as on experience stemming from practical applications of model-based methods, the 2010 conference accepted submissions in two distinct tracks: Foundations and Applications. The primary objective of the ?rst track is to present new research results dedicated to advancing the state-of-the-art of the discipline, whereas the second aims to provide a realistic and veri?able picture of the current state-- the-practice of model-based engineering, so that the broader community could be better informed of the capabilities and successes of this relatively young discipline. This volume contains the ?nal version of the papers accepted for presentation at the conference from both tracks.