دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
دانلود کتاب مبانی و برنامه های کاربردی مدل سازی: هفتمین کنفرانس اروپایی، ECMFA 2011، بیرمنگام، انگلستان، 6 تا 9 ژوئن 2011، مقالات
مشخصات کتاب
Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings
ویرایش: 1 نویسندگان: Wilhelm Schäfer (auth.), Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige (eds.) سری: Lecture Notes in Computer Science 6698 ISBN (شابک) : 9783642214691, 3642214703 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 47,000
کلمات کلیدی مربوط به کتاب مبانی و برنامه های کاربردی مدل سازی: هفتمین کنفرانس اروپایی، ECMFA 2011، بیرمنگام، انگلستان، 6 تا 9 ژوئن 2011، مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، شبکه های ارتباطی کامپیوتری، مدیریت سیستم های محاسباتی و اطلاعاتی، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی و برنامه های کاربردی مدل سازی: هفتمین کنفرانس اروپایی، ECMFA 2011، بیرمنگام، انگلستان، 6 تا 9 ژوئن 2011، مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی و برنامه های کاربردی مدل سازی: هفتمین کنفرانس اروپایی، ECMFA 2011، بیرمنگام، انگلستان، 6 تا 9 ژوئن 2011، مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس اروپایی مبانی و کاربردهای مدلسازی است که در ژوئن 2011 در بیرمنگام، انگلستان برگزار شد.
19. مقاله‌های پیگیری کامل پایه‌های اصلاح‌شده و 5 مقاله پیگیری کامل برنامه‌های کاربردی بازبینی‌شده ارائه شده به دقت بررسی و از 61 مورد ارسالی انتخاب شدند. همچنین شامل 5 خلاصه کارگاه و چکیده 4 آموزش می باشد. مقالات در بخش های موضوعی در مورد اجرای مدل، تجزیه و تحلیل مدل، روش شناسی، مدیریت مدل، تبدیل مدل، تجزیه و تحلیل تنوع و ADLs، و مدل سازی دامنه خاص سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.
The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.
فهرست مطالب
Front Matter....Pages -
Building Advanced Mechatronic Systems....Pages 1-2
Contracts for Model Execution Verification....Pages 3-18
A FUML-Based Distributed Execution Machine for Enacting Software Process Models....Pages 19-34
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics....Pages 35-51
Incremental Security Verification for Evolving UMLsec models....Pages 52-68
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies....Pages 69-84
Operation Based Model Representation: Experiences on Inconsistency Detection....Pages 85-96
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML....Pages 97-114
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing....Pages 115-131
Transformation Rules for Translating Business Rules to OCL Constraints....Pages 132-143
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements....Pages 144-159
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform....Pages 160-171
Incremental Updates for View-Based Textual Modelling....Pages 172-188
Easing Model Transformation Learning with Automatically Aligned Examples....Pages 189-204
Code Generation for UML 2 Activity Diagrams....Pages 205-220
Tract able Model Transformation Testing....Pages 221-235
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling....Pages 236-252
Analyzing Variability: Capturing Semantic Ripple Effects....Pages 253-269
Integrating Design and Runtime Variability Support into a System ADL....Pages 270-281
Domain-Specific Model Verification with QVT....Pages 282-298
A SysML Profile for Development and Early Validation of TLM 2.0 Models....Pages 299-311
Taming the Confusion of Languages....Pages 312-328
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador....Pages 329-344
Improving Naming and Grouping in UML....Pages 345-360
Aspect-Oriented Model Development at Different Levels of Abstraction....Pages 361-376
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration....Pages 377-378
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization....Pages 379-380
The Third Workshop on Behaviour Modelling - Foundations and Applications....Pages 381-382
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition....Pages 383-384
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)....Pages 385-386
Agile Development with Domain Specific Languages....Pages 387-388
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery....Pages 389-390
Integrated Model Management with Epsilon....Pages 391-392
Creating Domain-Specific Modelling Languages That Work: Hands-On....Pages 393-394
Back Matter....Pages -
