دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
دانلود کتاب مدل ها در مهندسی نرم افزار: کارگاه ها و سمپوزها در MODELS 2009، Denver، CO، USA، 4-9 اکتبر 2009 ، گزارش ها و برگه های منتخب
مشخصات کتاب
Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers
ویرایش: 1 نویسندگان: Juergen Dingel (auth.), Sudipto Ghosh (eds.) سری: Lecture Notes in Computer Science 6002 : Programming and Software Engineering ISBN (شابک) : 9783642122613, 3642122612 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 370 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب مدل ها در مهندسی نرم افزار: کارگاه ها و سمپوزها در MODELS 2009، Denver، CO، USA، 4-9 اکتبر 2009 ، گزارش ها و برگه های منتخب: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، مدیریت محاسبات و سیستم های اطلاعاتی، شبیه سازی و مدل سازی
در صورت تبدیل فایل کتاب Models in Software Engineering: Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل ها در مهندسی نرم افزار: کارگاه ها و سمپوزها در MODELS 2009، Denver، CO، USA، 4-9 اکتبر 2009 ، گزارش ها و برگه های منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل ها در مهندسی نرم افزار: کارگاه ها و سمپوزها در MODELS 2009، Denver، CO، USA، 4-9 اکتبر 2009 ، گزارش ها و برگه های منتخب
این کتاب مجموعه ای از بهترین مقالات انتخاب شده از 9 کارگاه آموزشی و 2 سمپوزیوم برگزار شده در ارتباط با MODELS 2009، دوازدهمین کنفرانس بین المللی در مورد زبان ها و سیستم های مهندسی مدل محور، در دنور، CO، ایالات متحده آمریکا، در اکتبر 2009 است. دو بخش اول شامل مقالات منتخب از سمپوزیوم دکتری و سمپوزیوم آموزشی است. سایر مشارکت‌ها بر اساس کارگاه‌هایی که در آن ارائه شده‌اند سازمان‌دهی می‌شوند: دومین کارگاه بین‌المللی در زمینه معماری مبتنی بر مدل و ساخت سیستم‌های جاسازی شده (ACES-MB'09). چهاردهمین کارگاه بین المللی مدل سازی جنبه گرا (AOM); Models@run.time (Models@run.time); مهندسی، تأیید و اعتبارسنجی مبتنی بر مدل: ادغام تأیید و اعتبارسنجی در MDE (MoDeVVa09). مدل ها و تکامل (MoDSE-MCCM)؛ سومین کارگاه بین المللی مدلسازی چند پارادایم (MPM09); عمل شناسی OCL و سایر زبان های مشخصات متنی (OCL). دومین کارگاه بین‌المللی ویژگی‌های سیستم غیرعملکردی در زبان‌های مدلسازی خاص دامنه (NFPinDSML). و دومین کارگاه آموزشی تبدیل و بافندگی هستی شناسی های جغد و MDE/MDA (TWOMDE2009). هر بخش شامل خلاصه ای از کارگاه می باشد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes a collection of the best papers selected from 9 workshops and 2 symposia held in conjunction with MODELS 2009, the 12 International Conference on Model Driven Engineering Languages and Systems, in Denver, CO, USA, in October 2009. The first two sections contain selected papers from the Doctoral Symposium and the Educational Symposium, respectively. The other contributions are organized according to the workshops at which they were presented: 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'09); 14th International Workshop on Aspect-Oriented Modeling (AOM); Models@run.time (Models@run.time); Model-driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE (MoDeVVa09); Models and Evolution (MoDSE-MCCM); Third International Workshop on Multi-Paradigm Modeling (MPM09); The Pragmatics of OCL and Other Textual Specification Languages (OCL); 2nd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML); and 2nd Workshop on Transformation and Weaving OWL Ontologies and MDE/MDA (TWOMDE2009). Each section includes a summary of the workshop.
فهرست مطالب
Front Matter....Pages -
The Doctoral Symposium at MODELS 2009....Pages 1-4
Catch Me If You Can – Debugging Support for Model Transformations....Pages 5-20
A Coordination-Based Model-Driven Method for Parallel Application Development....Pages 21-35
Essentials of the 5th Educators’ Symposium at MODELS 2009....Pages 36-39
Teaching Object-Oriented Modeling and UML to Various Audiences....Pages 40-54
Teaching Modeling: Why, When, What?....Pages 55-62
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009)....Pages 63-67
Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems....Pages 68-82
Model-Based Extension of AUTOSAR for Architectural Online Reconfiguration....Pages 83-97
Report of the 14th International Workshop on Aspect-Oriented Modeling....Pages 98-103
HiLA: High-Level Aspects for UML State Machines....Pages 104-118
4 th International Workshop on Models@run.time....Pages 119-123
Incremental Model Synchronization for Efficient Run-Time Monitoring....Pages 124-139
Generating Synchronization Engines between Running Systems and Their Model-Based Views....Pages 140-154
MoDeVVa Workshop Summary....Pages 155-157
From UML to Alloy and Back Again....Pages 158-171
Generating Class Contracts from Deterministic UML Protocol Statemachines....Pages 172-185
“Models and Evolution”: Joint MoDSE-MCCM 2009 Workshop on Model-Driven Software Evolution (MoDSE) Model Co-Evolution and Consistency Management (MCCM)....Pages 186-189
Model Patches in Model-Driven Engineering....Pages 190-204
Limitations of Automating Model Migration in Response to Metamodel Adaptation....Pages 205-219
Recent Advances in Multi-paradigm Modeling....Pages 220-224
Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition....Pages 225-239
Explicit Transformation Modeling....Pages 240-255
Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages....Pages 256-260
Extending OCL with Null-References....Pages 261-275
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set....Pages 276-290
The 2 nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009)....Pages 291-295
On the Specification of Non-functional Properties of Systems by Observation....Pages 296-309
Modeling Heterogeneous Points of View with ModHel’X....Pages 310-324
Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009)....Pages 325-328
Towards Semantic Modeling of Network Physical Devices....Pages 329-343
Using Ontology Reasoning for Reverse Engineering Design Patterns....Pages 344-358
Back Matter....Pages -
