دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
دانلود کتاب مبانی و برنامه های مدل سازی: هشتمین کنفرانس اروپا ، ECMFA 2012 ، کیلوگرم. لینگبی ، دانمارک ، 2-5 ژوئیه 2012. مجموعه مقالات
مشخصات کتاب
Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings
ویرایش: 1 نویسندگان: Ed Seidewitz (auth.), Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler, Harald Störrle, Dimitris Kolovos (eds.) سری: Lecture Notes in Computer Science 7349 Programming and Software Engineering ISBN (شابک) : 9783642314919, 3642314910 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 456 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 44,000
کلمات کلیدی مربوط به کتاب مبانی و برنامه های مدل سازی: هشتمین کنفرانس اروپا ، ECMFA 2012 ، کیلوگرم. لینگبی ، دانمارک ، 2-5 ژوئیه 2012. مجموعه مقالات: است
در صورت تبدیل فایل کتاب Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی و برنامه های مدل سازی: هشتمین کنفرانس اروپا ، ECMFA 2012 ، کیلوگرم. لینگبی ، دانمارک ، 2-5 ژوئیه 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی و برنامه های مدل سازی: هشتمین کنفرانس اروپا ، ECMFA 2012 ، کیلوگرم. لینگبی ، دانمارک ، 2-5 ژوئیه 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس اروپایی مبانی و
کاربردهای مدلسازی است که در Kgs برگزار شد. لینگبی، دانمارک،
در ژوئیه 2012.
20 مقاله پیگیری کامل پایه های اصلاح شده و 10 مقاله پیگیری
کامل برنامه های کاربردی اصلاح شده ارائه شده به دقت بررسی و از
بین 81 مورد ارسالی انتخاب شدند. مقالاتی در مورد تمام جنبه‌های
MDE دریافت شد، از جمله موضوعاتی مانند مدلسازی معماری و خطوط
محصول، تولید کد، مدلسازی دامنه خاص، متامدلینگ، تحلیل و تأیید
مدل، مدیریت مدل، تبدیل مدل و شبیه‌سازی. گستردگی موضوعات و
همچنین کیفیت بالای نتایج ارائه شده در این مقالات پذیرفته شده،
بلوغ و سرزندگی این رشته را نشان می دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th
European Conference on Modelling Foundations and
Applications, held in Kgs. Lyngby, Denmark, in July
2012.
The 20 revised full foundations track papers and 10 revised
full applications track papers presented were carefully
reviewed and selected from 81 submissions. Papers on all
aspects of MDE were received, including topics such as
architectural modelling and product lines, code generation,
domain-specic modeling, metamodeling, model analysis and
verication, model management, model transformation and
simulation. The breadth of topics, as well as the high
quality of the results presented in these accepted papers,
demonstrate the maturity and vibrancy of the field.
فهرست مطالب
Front Matter....Pages -
Executable UML: From Multi-domain to Multi-core....Pages 1-1
Models Meeting Automotive Design Challenges....Pages 2-3
A Commutative Model Composition Operator to Support Software Adaptation....Pages 4-19
Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings....Pages 20-31
Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations....Pages 32-48
Model Interchange Testing: A Process and a Case Study....Pages 49-61
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters....Pages 62-73
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing....Pages 74-89
Model Transformations for Migrating Legacy Models: An Industrial Case Study....Pages 90-101
Derived Features for EMF by Integrating Advanced Model Queries....Pages 102-117
A Lightweight Approach for Managing XML Documents with MDE Languages....Pages 118-132
Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies....Pages 133-145
Badger: A Regression Planner to Resolve Design Model Inconsistencies....Pages 146-161
Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines....Pages 162-177
TexMo: A Multi-language Development Environment....Pages 178-193
On-the-Fly Emendation of Multi-level Models....Pages 194-209
Specifying Refinement Relations in Vertical Model Transformations....Pages 210-225
Model-Based Automated and Guided Configuration of Embedded Software Systems....Pages 226-243
Lightweight String Reasoning for OCL....Pages 244-258
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering....Pages 259-274
Metamodel Based Methodology for Dynamic Component Systems....Pages 275-286
Bidirectional Model Transformation with Precedence Triple Graph Grammars....Pages 287-302
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications....Pages 303-318
Code Generation Nirvana....Pages 319-327
A Plug-in Based Approach for UML Model Simulation....Pages 328-339
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems....Pages 340-351
Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems....Pages 352-367
Unification of Compiled and Interpreter-Based Pattern Matching Techniques....Pages 368-383
OCL-Based Runtime Monitoring of Applications with Protocol State Machines....Pages 384-399
On Model Subtyping....Pages 400-415
BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer....Pages 416-427
Solving Acquisition Problems Using Model-Driven Engineering....Pages 428-443
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Lectures on analytic and projective geometry
دانلود کتاب My Campus – Räume für die „Wissensgesellschaft“?: Raumnutzungsmuster von Studierenden
دانلود کتاب The Antichrist's New World Order: What Will Happen to America?
دانلود کتاب Get quilting with Angela & Cloe: 14 projects for kids to sew
