دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: برنامه نويسي ویرایش: 1 نویسندگان: Tim Trew (auth.), Richard F. Paige, Alan Hartman, Arend Rensink (eds.) سری: Lecture Notes in Computer Science 5562 : Programming and Software Engineering ISBN (شابک) : 3642026737, 9783642026737 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 348 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
کلمات کلیدی مربوط به کتاب مدل معماری مدرن - مبانی و برنامه های کاربردی: پنجمین کنفرانس اروپایی، ECMDA-FA 2009، Enschede، هلند، 23-26 ژوئن 2009. پرونده ها: سیستم های کامپیوتری سازمان و شبکه های ارتباطی، مهندسی نرم افزار، منطق و معانی برنامه ها، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Model Driven Architecture - Foundations and Applications: 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل معماری مدرن - مبانی و برنامه های کاربردی: پنجمین کنفرانس اروپایی، ECMDA-FA 2009، Enschede، هلند، 23-26 ژوئن 2009. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری پنجمین کنفرانس اروپایی معماری مبتنی بر مدل - مبانی و کاربردها، ECMDA-FA 2009، که در انشده، هلند، در ژوئن 2009 برگزار شد، است.
The 23 مقاله کامل اصلاح شده ارائه شده - 16 مقاله تحقیقاتی و 7 مقاله صنعتی - به دقت بررسی و از بین 72 مقاله ارسالی انتخاب شدند. این مقالات با ترویج استفاده از مدلها در مشخصات، طراحی، تجزیه و تحلیل، سنتز، استقرار و تکامل سیستمهای نرمافزاری پیچیده، به تمام مسائل فعلی معماری مدل محور از جمله تبدیل مدل، مسائل زبان مدلسازی، مدلسازی رفتار و زمان، قابلیت ردیابی میپردازند. و مقیاسپذیری، مهندسی سیستمهای تعبیهشده مبتنی بر مدل، و کاربرد توسعه مبتنی بر مدل در سیستمهای فناوری اطلاعات و شبکه.
This book constitutes the refereed proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2009, held in Enschede, The Netherlands, in June 2009.
The 23 revised full papers presented - 16 research papers and 7 industry papers - were carefully reviewed and selected from 72 submissions. Promoting the use of models in the specification, design, analysis, synthesis, deployment, and evolution of complex software systems, the papers address all current issues of model-driven architecture including model transformations, modelling language issues, modelling of behaviour and time, traceability and scalability, model-based embedded systems engineering, and the application of model-driven development to IT and networking systems.
Front Matter....Pages -
Creating Embedded Platforms with MDA: Where’s the Sweet Spot?....Pages 1-1
Comparison of Three Model Transformation Languages....Pages 2-17
On the Use of Higher-Order Model Transformations....Pages 18-33
Managing Model Adaptation by Precise Detection of Metamodel Changes....Pages 34-49
A Pattern Mining Approach Using QVT....Pages 50-65
A Language-Theoretic View on Guidelines and Consistency Rules of UML....Pages 66-81
A Domain Specific Language for Extracting Models in Software Modernization....Pages 82-97
Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems....Pages 98-113
Derivation and Refinement of Textual Syntax for Models....Pages 114-129
Uniform Random Generation of Huge Metamodel Instances....Pages 130-145
Establishing Correspondences between Models with the Epsilon Comparison Language....Pages 146-157
Dependent and Conflicting Change Operations of Process Models....Pages 158-173
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations....Pages 174-189
Temporal Extensions of OCL Revisited....Pages 190-205
An MDA-Based Approach for Behaviour Modelling of Context-Aware Mobile Applications....Pages 206-220
A Model Driven Approach to the Analysis of Timeliness Properties....Pages 221-236
A Hybrid Graphical and Textual Notation and Editor for UML Actions....Pages 237-252
Mapping Requirement Models to Mathematical Models in Control System Development....Pages 253-264
On Study Results: Round Trip Engineering of Space Systems....Pages 265-276
MoPCoM/MARTE Process Applied to a Cognitive Radio System Design and Analysis....Pages 277-288
Managing Flexibility: Modeling Binding-Times in Simulink....Pages 289-300
Experiences of Developing a Network Modeling Tool Using the Eclipse Environment....Pages 301-312
MBT4Chor: A Model-Based Testing Approach for Service Choreographies....Pages 313-324
Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study....Pages 325-336
Back Matter....Pages -