دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
دانلود کتاب رویکردهای بنیادی به مهندسی نرم افزار: نوزدهمین کنفرانس بین المللی، FASE 2016، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2016، آیندهوون، هلند، 2-8 آوریل 2016، مجموعه مقالات
مشخصات کتاب
Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ویرایش: 1
نویسندگان: Perdita Stevens. Andrzej Wąsowski (eds.)
سری: Lecture Notes in Computer Science 9633
ISBN (شابک) : 9783662496640, 9783662496657
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2016
تعداد صفحات: 440
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 26 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب رویکردهای بنیادی به مهندسی نرم افزار: نوزدهمین کنفرانس بین المللی، FASE 2016، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2016، آیندهوون، هلند، 2-8 آوریل 2016، مجموعه مقالات: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای بنیادی به مهندسی نرم افزار: نوزدهمین کنفرانس بین المللی، FASE 2016، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عمل نرم افزار، ETAPS 2016، آیندهوون، هلند، 2-8 آوریل 2016، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-XIII
Front Matter....Pages 1-1
The Death of Object-Oriented Programming....Pages 3-10
Front Matter....Pages 11-11
Automated Choreography Repair....Pages 13-30
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs....Pages 31-48
ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters....Pages 49-65
Integrated Environment for Verifying and Running Distributed Components....Pages 66-83
Front Matter....Pages 85-85
Iterative and Incremental Model Generation by Logic Solvers....Pages 87-103
Automated Model Merge by Design Space Exploration....Pages 104-121
Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories....Pages 122-140
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models....Pages 141-157
Front Matter....Pages 158-175
Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices....Pages 177-177
The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs....Pages 179-196
Modeling and Abstraction of Memory Management in a Hypervisor....Pages 197-213
Crowdsourced Bug Triaging: Leveraging Q&A Platforms for Bug Assignment....Pages 214-230
Front Matter....Pages 231-248
Model-Based Testing of Probabilistic Systems....Pages 249-249
An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-adaptive Systems....Pages 251-268
Statistical Model Checking of e-Motions Domain-Specific Modeling Languages....Pages 269-286
Front Matter....Pages 287-304
Towards Formal Proof Metrics....Pages 305-322
Reduction Rules for Colored Workflow Nets....Pages 323-323
Front Matter....Pages 325-341
Many-Valued Institutions for Constraint Specification....Pages 342-358
CafeInMaude: A CafeOBJ Interpreter in Maude....Pages 323-323
Front Matter....Pages 359-376
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique....Pages 377-380
Hybrid Session Verification Through Endpoint API Generation....Pages 381-381
PVAIR: Partial Variable Assignment InterpolatoR....Pages 383-400
Back Matter....Pages 401-418
....Pages 419-434
