دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and
دانلود کتاب رویکردهای پایه ای به مهندسی نرم افزار: 13th International Conference، FASE 2010، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و
مشخصات کتاب
Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and
ویرایش: نویسندگان: David S. Rosenblum., Gabriele Taentzer (eds) سری: ISBN (شابک) : 9783642120282, 3642120288 ناشر: Springer-Verlag سال نشر: 2010 تعداد صفحات: 395 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای پایه ای به مهندسی نرم افزار: 13th International Conference، FASE 2010، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای پایه ای به مهندسی نرم افزار: 13th International Conference، FASE 2010، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین المللی رویکردهای بنیادی به مهندسی نرم افزار، FASE 2010، در پافوس، قبرس، در مارس 2010، به عنوان بخشی از ETAPS 2010، کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، برگزار شد. 25 مقاله ارائه شده با دقت بررسی و از بین 103 مقاله ارسالی انتخاب شدند. این جلد همچنین حاوی یک سخنرانی دعوت شده است. موضوعات تحت پوشش عبارتند از تبدیل مدل، تکامل نرم افزار، تبدیل نمودار، مفاهیم مدل سازی، تایید، تجزیه و تحلیل برنامه، تست و اشکال زدایی، و مدل سازی و تجزیه و تحلیل عملکرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis
فهرست مطالب
Front Matter....Pages -
Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization....Pages 1-12
A Formalisation of Constraint-Aware Model Transformations....Pages 13-28
Formal Real-Time Model Transformations in MOMENT2....Pages 29-43
Reusing Model Transformations While Preserving Properties....Pages 44-58
Are Popular Classes More Defect Prone?....Pages 59-73
Operation-Based, Fine-Grained Version Control Model for Tree-Based Representation....Pages 74-90
A Method for Analyzing Code Homology in Genealogy of Evolving Software....Pages 91-106
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments....Pages 107-122
Incremental Service Composition Based on Partial Matching of Visual Contracts....Pages 123-138
Formal Analysis and Verification of Self-Healing Systems....Pages 139-153
Stochastic Simulation of Graph Transformation Systems....Pages 154-157
Prescriptive Semantics for Big-Step Modelling Languages....Pages 158-172
A Modular Model Composition Technique....Pages 173-187
A Verifiable Modeling Approach to Configurable Role-Based Access Control....Pages 188-202
Incremental Consistency Checking of Dynamic Constraints....Pages 203-217
Proving Consistency and Completeness of Model Classes Using Theory Interpretation....Pages 218-232
Automatic Cross Validation of Multiple Specifications: A Case Study....Pages 233-247
An Automata-Theoretic Approach to Hardware/Software Co-verification....Pages 248-262
Shape Refinement through Explicit Heap Analysis....Pages 263-277
Memory Leaks Detection in Java by Bi-abductive Inference....Pages 278-292
Analyzing the Impact of Change in Multi-threaded Programs....Pages 293-307
Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques....Pages 308-322
A Lightweight and Portable Approach to Making Concurrent Failures Reproducible....Pages 323-337
Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups....Pages 338-352
Performance Modeling and Analysis of Context-Aware Mobile Software Systems....Pages 353-367
A Process to Effectively Identify “Guilty” Performance Antipatterns....Pages 368-382
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Art in the age of technoscience : genetic engineering, robotics, and artificial life in contemporary art
دانلود کتاب Die Kommanditgesellschaft auf Aktien: Rechtliche Gestaltung und wirtschaftliche Bedeutung
