دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
دانلود کتاب رویکردهای پایه ای به مهندسی نرم افزار: چهاردهمین کنفرانس بین المللی، FASE 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس - 3 آوریل 2011.
مشخصات کتاب
Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
ویرایش: 1 نویسندگان: Ross Anderson (auth.), Dimitra Giannakopoulou, Fernando Orejas (eds.) سری: Lecture Notes in Computer Science 6603 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642198106, 9783642198113 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 475 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب رویکردهای پایه ای به مهندسی نرم افزار: چهاردهمین کنفرانس بین المللی، FASE 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس - 3 آوریل 2011.: مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، مدیریت سیستم های محاسباتی و اطلاعاتی
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای پایه ای به مهندسی نرم افزار: چهاردهمین کنفرانس بین المللی، FASE 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس - 3 آوریل 2011. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای پایه ای به مهندسی نرم افزار: چهاردهمین کنفرانس بین المللی، FASE 2011، برگزار شده به عنوان بخشی از کنفرانس های مشترک اروپا در زمینه نظریه و نرم افزار نرم افزار، ETAPS 2011، زاربرکنن، آلمان، 26 مارس - 3 آوریل 2011.
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین المللی رویکردهای بنیادی به مهندسی نرم افزار، FASE 2011، برگزار شده در زاربروکن، آلمان، 26 مارس تا 3 آوریل 2011، به عنوان بخشی از ETAPS 2011، مشترک اروپایی است. کنفرانس تئوری و عملی نرم افزار.
۲۹ مقاله کامل اصلاح شده ارائه شده همراه با یک سخنرانی دعوت شده کامل به دقت بررسی و از بین ۹۹ مقاله ارسالی کامل انتخاب شدند. مقالات در بخش‌های موضوعی در مورد تأیید، مشخصات و مدل‌سازی، دسترسی و بررسی مدل، مهندسی مبتنی بر مدل، توسعه نرم‌افزار برای QoS، آزمایش: نظریه و روندهای جدید، آزمایش در عمل، توسعه و تحلیل کد، و مطالعات تجربی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.
The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.
فهرست مطالب
Front Matter....Pages -
The Dependability of Complex Socio-technical Systems....Pages 1-1
Automated Learning of Probabilistic Assumptions for Compositional Reasoning....Pages 2-17
An Interface Theory for Service-Oriented Design....Pages 18-33
rt-Inconsistency: A New Property for Real-Time Requirements....Pages 34-49
Automatic Flow Analysis for Event-B....Pages 50-64
Semantic Quality Attributes for Big-Step Modelling Languages....Pages 65-80
Formalizing and Operationalizing Industrial Standards....Pages 81-95
Modelling Non-linear Crowd Dynamics in Bio-PEPA....Pages 96-110
Smart Reduction....Pages 111-126
Uniform Monte-Carlo Model Checking....Pages 127-140
Model Checking Büchi Pushdown Systems....Pages 141-155
Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior....Pages 156-170
Models within Models: Taming Model Complexity Using the Sub-model Lattice....Pages 171-185
Type-Safe Evolution of Spreadsheets....Pages 186-201
A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications....Pages 202-216
A Step-Wise Approach for Integrating QoS throughout Software Development....Pages 217-231
Systematic Development of UMLsec Design Models Based on Security Requirements....Pages 232-246
Theoretical Aspects of Compositional Symbolic Execution....Pages 247-261
Testing Container Classes: Random or Systematic?....Pages 262-277
Seamless Testing for Models and Code....Pages 278-293
Retrofitting Unit Tests for Parameterized Unit Testing....Pages 294-309
Evolving a Test Oracle in Black-Box Testing....Pages 310-325
Automated Driver Generation for Analysis of Web Applications....Pages 326-340
On Model-Based Regression Testing of Web-Services Using Dependency Analysis of Visual Contracts....Pages 341-355
Incremental Clone Detection and Elimination for Erlang Programs....Pages 356-370
Analyzing Software Updates: Should You Build a Dynamic Updating Infrastructure?....Pages 371-385
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity....Pages 386-400
Search-Based Design Defects Detection by Example....Pages 401-415
An Empirical Study on Evolution of API Documentation....Pages 416-431
An Empirical Study of Long-Lived Code Clones....Pages 432-446
Where the Truth Lies: AOP and Its Impact on Software Modularity....Pages 447-461
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
