دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
دانلود کتاب رویکردهای بنیادی به مهندسی نرم افزار: بیستمین کنفرانس بین المللی، FASE 2017، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات
مشخصات کتاب
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ویرایش: 1
نویسندگان: Marieke Huisman. Julia Rubin (eds.)
سری: Lecture Notes in Computer Science 10202
ISBN (شابک) : 9783662544945, 9783662544938
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2017
تعداد صفحات: 443
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 23 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب رویکردهای بنیادی به مهندسی نرم افزار: بیستمین کنفرانس بین المللی، FASE 2017، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای بنیادی به مهندسی نرم افزار: بیستمین کنفرانس بین المللی، FASE 2017، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای بنیادی به مهندسی نرم افزار: بیستمین کنفرانس بین المللی، FASE 2017، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2017، اوپسالا، سوئد، 22-29 آوریل 2017، مجموعه مقالات
این کتاب مجموعه مقالات بیستمین کنفرانس بین المللی رویکردهای بنیادی به مهندسی نرم افزار، FASE 2017 است که در آوریل 2017 در اوپسالا، سوئد، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS برگزار شد. 2017.
23 مقاله ارائه شده در این جلد به دقت بررسی و از بین 91 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: یادگیری و استنتاج سازماندهی شدند. انتخاب آزمون؛ تجزیه و تحلیل برنامه و سیستم؛ مدل سازی و تبدیل نمودار. تبدیل مدل؛ پیکربندی و سنتز؛ و خطوط تولید نرم افزار
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines.
فهرست مطالب
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study....Pages 3-21
Bordeaux: A Tool for Thinking Outside the Box....Pages 22-39
Front Matter....Pages 41-41
Bucketing Failing Tests via Symbolic Analysis....Pages 43-59
Selective Bisection Debugging....Pages 60-77
On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative Study....Pages 78-95
Front Matter....Pages 97-97
Inference and Evolution of TypeScript Declaration Files....Pages 99-115
Explicit Connection Actions in Multiparty Session Types....Pages 116-133
Change and Delay Contracts for Hybrid System Component Verification....Pages 134-151
Precise Version Control of Trees with Line-Based Version Control Systems....Pages 152-169
Front Matter....Pages 171-171
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques....Pages 173-190
GTS Families for the Flexible Composition of Graph Transformation Systems....Pages 191-207
Symbolic Model Generation for Graph Properties....Pages 208-225
Front Matter....Pages 226-243
Traceability Mappings as a Fundamental Instrument in Model Transformations....Pages 245-245
Reusing Model Transformations Through Typing Requirements Models....Pages 247-263
Change-Preserving Model Repair....Pages 264-282
A Deductive Approach for Fault Localization in ATL Model Transformations....Pages 283-299
Front Matter....Pages 300-317
OpenSAW: Open Security Analysis Workbench....Pages 319-319
Visual Configuration of Mobile Privacy Policies....Pages 321-337
Automated Workarounds from Java Program Specifications Based on SAT Solving....Pages 338-355
Front Matter....Pages 356-373
Slicing from Formal Semantics: Chisel....Pages 319-319
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools....Pages 374-378
Front Matter....Pages 379-383
Family-Based Model Checking with mCRL2....Pages 385-385
Variability-Specific Abstraction Refinement for Family-Based Model Checking....Pages 387-405
A Unified and Formal Programming Model for Deltas and Traits....Pages 406-423
Back Matter....Pages 424-441
....Pages 443-444
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Time Wanderers
دانلود کتاب Herzog
دانلود کتاب Complex Cobordism and Stable Homotopy Groups of Spheres
دانلود کتاب Intelligent robots and systems: selections of the International Conference on Intelligent Robots and Systems 1994, IROS 94, Munich, Germany, 12-16 September 1994
