دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
دانلود کتاب فن آوری های نرم افزاری: دهمین کنفرانس بین المللی مشترک ، ICSOFT 2015 ، کلمار ، فرانسه ، 20-22 ژوئیه 2015 ، نسخه های تجدید نظر شده
مشخصات کتاب
Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers
ویرایش: 1 نویسندگان: Pascal Lorenz, Jorge Cardoso, Leszek A. Maciaszek, Marten van Sinderen (eds.) سری: Communications in Computer and Information Science 586 ISBN (شابک) : 9783319301419, 9783319301426 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 441 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 41 مگابایت
قیمت کتاب (تومان) : 55,000
کلمات کلیدی مربوط به کتاب فن آوری های نرم افزاری: دهمین کنفرانس بین المللی مشترک ، ICSOFT 2015 ، کلمار ، فرانسه ، 20-22 ژوئیه 2015 ، نسخه های تجدید نظر شده: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلر، مترجمان، شبیه سازی و مدل سازی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب فن آوری های نرم افزاری: دهمین کنفرانس بین المللی مشترک ، ICSOFT 2015 ، کلمار ، فرانسه ، 20-22 ژوئیه 2015 ، نسخه های تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب فن آوری های نرم افزاری: دهمین کنفرانس بین المللی مشترک ، ICSOFT 2015 ، کلمار ، فرانسه ، 20-22 ژوئیه 2015 ، نسخه های تجدید نظر شده
این کتاب مجموعه مقالات دهمین کنفرانس مشترک بین‌المللی فناوری‌های نرم‌افزار، ICSOFT 2015، که در کولمار، فرانسه، در ژوئیه 2015 برگزار شد، با داوری کامل است.
23 مقاله کامل اصلاح‌شده ارائه‌شده بودند. به دقت بررسی و از 117 مورد ارسالی انتخاب شد. مقالات در حول محورهای کنفرانس زیر سازماندهی شده‌اند: فناوری‌های نرم‌افزار سازمانی. مدیریت پروژه نرم افزار; روش ها و تکنیک های مهندسی نرم افزار؛ سیستم های نرم افزاری توزیع شده و سیار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015.
The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.
فهرست مطالب
Front Matter....Pages I-XV
Front Matter....Pages 1-1
What Do We Know and How Well Do We Know It? Current Knowledge About Software Engineering Practices....Pages 3-16
Front Matter....Pages 17-17
Filtered Model-Driven Product Line Engineering with SuperMod: The Home Automation Case....Pages 19-41
A Semantic Versioning Service Based on Formal Certification....Pages 42-62
An Eclipse IDE for Teaching Java–....Pages 63-78
Supporting Privacy Impact Assessments Using Problem-Based Privacy Analysis....Pages 79-98
Integrating Model Driven and Model Checking to Mine Design Patterns....Pages 99-117
R-UML: An UML Profile for Verification of Flexible Control Systems....Pages 118-136
Invariant Implementation for Domain Models Applying Incremental OCL Techniques....Pages 137-154
An Ontological Analysis of a Proposed Theory for Software Development....Pages 155-171
Front Matter....Pages 173-173
Specifying Business Process Outsourcing Requirements....Pages 175-190
Supporting Deviations on Software Processes: A Literature Overview....Pages 191-209
Protection of Customers’ and Suppliers’ Knowledge in Software Development Projects with Fixed-Price Contract: Using Property Rights Theory....Pages 210-227
GQM-Based Definition and Evaluation of Software Project Success Indicators....Pages 228-249
Dynamic Analysis Techniques to Reverse Engineer Mobile Applications....Pages 250-268
Annotating Goals with Concerns in Goal-Oriented Requirements Engineering....Pages 269-286
A Model-Based Approach for Integrating Executable Architectural Design Patterns in Space Flight Software Product Lines....Pages 287-306
Model Checking Feature Interactions....Pages 307-325
Deriving Tailored UML Interaction Models from Scenario-Based Runtime Tests....Pages 326-348
Documenting and Designing QVTo Model Transformations Through Mathematics....Pages 349-364
An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development....Pages 365-379
Front Matter....Pages 173-173
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams....Pages 380-396
Guiding Cloud Developers to Build Energy Aware Applications....Pages 397-414
SPACES: Subjective sPaces Architecture for Contextualizing hEterogeneous Sources....Pages 415-429
Back Matter....Pages 431-431
