ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

دانلود کتاب رویکردهای اساسی مهندسی نرم افزار: پانزدهمین کنفرانس بین المللی ، FASE 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

مشخصات کتاب

Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 7212 Theoretical Computer Science and General Issues 
ISBN (شابک) : 9783642288722, 9783642288715 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 531 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

قیمت کتاب (تومان) : 34,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رویکردهای اساسی مهندسی نرم افزار: پانزدهمین کنفرانس بین المللی ، FASE 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب رویکردهای اساسی مهندسی نرم افزار: پانزدهمین کنفرانس بین المللی ، FASE 2012 ، به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2012 ، تالین ، استونی ، 24 مارس - 1 آوریل 2012 برگزار می شود. مجموعه مقالات



این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی رویکردهای بنیادی در مهندسی نرم‌افزار، FASE 2012، برگزار شده در تالین، استونی، در مارس/آوریل 2012، به عنوان بخشی از ETAPS 2012، کنفرانس‌های مشترک اروپایی در تئوری و عمل است. از نرم افزار 33 مقاله کامل ارائه شده همراه با یک سخنرانی طولانی دعوت شده به دقت بررسی و از 134 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در معماری و اجزای نرم‌افزار، خدمات، تأیید و نظارت، مدل‌سازی و تغییر مدل‌ها، مدل‌سازی و انطباق، خطوط محصول و برنامه‌نویسی ویژگی‌گرا، فرآیند توسعه، تأیید و سنتز، آزمایش و نگهداری، و برش سازماندهی شده‌اند. refactoring.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 33 full papers presented together with one full length invited talk were carefully reviewed and slected from 134 submissions. The papers are organized in topical sections on software architecture and components, services, verification and monitoring, intermodelling and model transformations, modelling and adaptation, product lines and feature-oriented programming, development process, verification and synthesis, testing and maintenance, and slicing and refactoring.



فهرست مطالب

Front Matter....Pages -
Distributed Process Discovery and Conformance Checking....Pages 1-25
Model-Driven Techniques to Enhance Architectural Languages Interoperability....Pages 26-42
Moving from Specifications to Contracts in Component-Based Design....Pages 43-58
The SynchAADL2Maude Tool....Pages 59-62
Consistency of Service Composition....Pages 63-77
Stable Availability under Denial of Service Attacks through Formal Patterns....Pages 78-93
Loose Programming with PROPHETS....Pages 94-98
Schedule Insensitivity Reduction....Pages 99-114
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems....Pages 115-129
Verified Resource Guarantees for Heap Manipulating Programs....Pages 130-145
An Operational Decision Support Framework for Monitoring Business Constraints....Pages 146-162
Intermodeling, Queries, and Kleisli Categories....Pages 163-177
Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars....Pages 178-193
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal Mu Calculus....Pages 194-208
Graph Transforming Java Data....Pages 209-223
Language Independent Refinement Using Partial Modeling....Pages 224-239
A Conceptual Framework for Adaptation....Pages 240-254
Applying Design by Contract to Feature-Oriented Programming....Pages 255-269
Integration Testing of Software Product Lines Using Compositional Symbolic Execution....Pages 270-284
Combining Related Products into Product Lines....Pages 285-300
Tracing Your Maintenance Work – A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages....Pages 301-315
Cohesive and Isolated Development with Branches....Pages 316-331
Making Software Integration Really Continuous....Pages 332-346
Extracting Widget Descriptions from GUIs....Pages 347-361
Language-Theoretic Abstraction Refinement....Pages 362-376
Learning from Vacuously Satisfiable Scenario-Based Specifications....Pages 377-393
Explanations for Regular Expressions....Pages 394-408
On the Danger of Coverage Directed Test Case Generation....Pages 409-424
Reduction of Test Suites Using Mutation....Pages 425-438
Model-Based Filtering of Combinatorial Test Suites....Pages 439-454
A New Design Defects Classification: Marrying Detection and Correction....Pages 455-470
Fine Slicing....Pages 471-485
System Dependence Graphs in Sequential Erlang....Pages 486-500
A Domain-Specific Language for Scripting Refactorings in Erlang....Pages 501-515
Back Matter....Pages -




نظرات کاربران