Sale
رویکردهای بنیادی در مهندسی نرمافزار ۲۰۱۸
Fundamental Approaches to Software Engineering 2018
دانلود کتاب رویکردهای بنیادی در مهندسی نرمافزار ۲۰۱۸ (Fundamental Approaches to Software Engineering 2018) با لینک مستقیم و فرمت pdf (پی دی اف) و ترجمه فارسی
| نویسنده |
Alessandra Russo, Andy Schürr |
|---|
ناشر:
Springer
۳۰ هزار تومان تخفیف با کد «OFF30» برای اولین خرید
| سال انتشار |
2018 |
|---|---|
| زبان |
English |
| تعداد صفحهها |
357 |
| نوع فایل |
|
| حجم |
11.6 MB |
🏷️ قیمت اصلی: 200,000 تومان بود.129,000 تومانقیمت فعلی: 129,000 تومان.
هوشمصنوعی ترجمه کالیبو
توضیحات
معرفی کتاب رویکردهای بنیادی در مهندسی نرمافزار ۲۰۱۸
این کتاب با مجوز CC BY بهصورت دسترسی آزاد منتشر شده است.
این کتاب مجموعه مقالات بیست و یکمین کنفرانس بینالمللی رویکردهای بنیادین در مهندسی نرمافزار، FASE 2018 است که در آوریل 2018 در تسالونیکی، یونان، به عنوان بخشی از کنفرانسهای مشترک اروپایی در تئوری و عمل نرمافزار، ETAPS 2018 برگزار شد. 19 مقاله ارائه شده در این مجلد، پس از بررسی دقیق از بین 63 مقاله ارسالی انتخاب شدهاند. مقالات در بخشهای موضوعی مختلفی سازماندهی شدهاند که عبارتند از: توسعه نرمافزار مبتنی بر مدل؛ تحلیل برنامهها و سیستمهای توزیعشده؛ طراحی و اعتبارسنجی نرمافزار؛ تعیین مشخصات و آزمایش برنامه؛ توسعه نرمافزار مبتنی بر خانواده.
این کتاب مجموعه مقالات بیست و یکمین کنفرانس بینالمللی رویکردهای بنیادین در مهندسی نرمافزار، FASE 2018 است که در آوریل 2018 در تسالونیکی، یونان، به عنوان بخشی از کنفرانسهای مشترک اروپایی در تئوری و عمل نرمافزار، ETAPS 2018 برگزار شد. 19 مقاله ارائه شده در این مجلد، پس از بررسی دقیق از بین 63 مقاله ارسالی انتخاب شدهاند. مقالات در بخشهای موضوعی مختلفی سازماندهی شدهاند که عبارتند از: توسعه نرمافزار مبتنی بر مدل؛ تحلیل برنامهها و سیستمهای توزیعشده؛ طراحی و اعتبارسنجی نرمافزار؛ تعیین مشخصات و آزمایش برنامه؛ توسعه نرمافزار مبتنی بر خانواده.
فهرست کتاب:
۱. پیشگفتار ETAPS
۲. پیشگفتار
۳. سازماندهی
۴. فهرست
۵. توسعه نرمافزار مبتنی بر مدل
۶. یک چارچوب رسمی برای برش افزایشی مدل
۷. همگامسازی چندگانه مدل با لنزهای دلتای چندگانه
۸. کنترل سطح حمله بازسازیهای شیءگرا
۹. تحلیل مؤثر درختان حمله: یک رویکرد مدل محور
۱۰. تحلیل برنامه و سیستم توزیعشده
۱۱. ROLA: یک پروتکل تراکنش توزیعشده جدید و تحلیل رسمی آن
۱۲. یک مدل شبکه فرآیند برای نرمافزار پخش جریانی واکنشگرا با موازاتسازی وظایف قطعی
۱۳. پرسوجوهای گراف توزیعشده برای پایش زمان اجرای سیستمهای سایبر-فیزیکی
۱۴. چارچوب تحلیل مبتنی بر Event Handler برای برنامههای وب با استفاده از حالتهای جمعآوریشده پویا
۱۵. طراحی و اعتبارسنجی نرمافزار
۱۶. تعیین مشخصات و اعتبارسنجی سلسله مراتبی الگوهای طراحی معماری
۱۷. پشتیبانی از طراحی توزیعشده افزایشی مبتنی بر اعتبارسنجی کامپوننتها
۱۸. خلاصهسازی نمونههای استفاده از API نرمافزار با استفاده از تکنیکهای خوشهبندی
۱۹. محاسبه سریع وابستگیهای کنترلی دلخواه
۲۰. تعیین مشخصات و تست برنامه
۲۱. تولید تکراری مدلهای متنوع برای تست مشخصات ابزارهای DSL
۲۲. بهینهسازی مکانیابی خطا مبتنی بر طیف برای برنامههای تکخطا با استفاده از مشخصات
۲۳. TCM: جهش مورد آزمون برای بهبود تشخیص خرابی در اندروید
۲۴. CRETE: یک چارچوب تست ترکیبی سطح باینری چندمنظوره
۲۵. توسعه نرمافزار مبتنی بر خانواده
۲۶. مدلکاوی خانواده محور انتزاعی با استفاده از سیستمهای انتقالی برجسته مشروط: حفظ CTL
۲۷. FPH: تحلیل غیرجابهجایی کارآمد سیستمهای مبتنی بر ویژگی
۲۸. رام کردن چندمتغیری خط تولید نرمافزار تحولها
۲۹. فهرست نام نویسندگان
توضیحات(انگلیسی)
This book is Open Access under a CC BY licence.
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.
Table of Contents
1. ETAPS Foreword
2. Preface
3. Organization
4. Contents
5. Model-Based Software Development
6. A Formal Framework for Incremental Model Slicing
7. Multiple Model Synchronization with Multiary Delta Lenses
8. Controlling the Attack Surface of Object-Oriented Refactorings
9. Effective Analysis of Attack Trees: A Model-Driven Approach
10. Distributed Program and System Analysis
11. ROLA: A New Distributed Transaction Protocol and Its Formal Analysis
12. A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism
13. Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems
14. EventHandler-Based Analysis Framework for Web Apps Using Dynamically Collected States
15. Software Design and Verification
16. Hierarchical Specification and Verification of Architectural Design Patterns
17. Supporting Verification-Driven Incremental Distributed Design of Components
18. Summarizing Software API Usage Examples Using Clustering Techniques
19. Fast Computation of Arbitrary Control Dependencies
20. Specification and Program Testing
21. Iterative Generation of Diverse Models for Testing Specifications of DSL Tools
22. Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications
23. TCM: Test Case Mutation to Improve Crash Detection in Android
24. CRETE: A Versatile Binary-Level Concolic Testing Framework
25. Family-Based Software Development
26. Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL
27. FPH: Efficient Non-commutativity Analysis of Feature-Based Systems
28. Taming Multi-Variability of Software Product Line Transformations
29. Author Index
سایر کتابهای ناشر
✨ ضمانت تجربه خوب مطالعه
بازگشت کامل وجه
در صورت مشکل، مبلغ پرداختی بازگردانده می شود.
دانلود پرسرعت
دانلود فایل کتاب با سرعت بالا
ارسال فایل به ایمیل
دانلود مستقیم به همراه ارسال فایل به ایمیل.
پشتیبانی ۲۴ ساعته
با چت آنلاین و پیامرسان ها پاسخگو هستیم.
ضمانت کیفیت کتاب
کتاب ها را از منابع معتیر انتخاب می کنیم.
