دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
دانلود کتاب رویکردهای پایه ای به مهندسی نرم افزار: 16th International Conference، FASE 2013، برگزار شده به عنوان بخشی از همایش های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2013، رم، ایتالیا، 16 تا 24 مارس 2013.
مشخصات کتاب
Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
ویرایش: 1 نویسندگان: Krzysztof Czarnecki (auth.), Vittorio Cortellessa, Dániel Varró (eds.) سری: Lecture Notes in Computer Science 7793 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642370564, 9783642370571 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 392 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 48,000
کلمات کلیدی مربوط به کتاب رویکردهای پایه ای به مهندسی نرم افزار: 16th International Conference، FASE 2013، برگزار شده به عنوان بخشی از همایش های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2013، رم، ایتالیا، 16 تا 24 مارس 2013.: مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق و معانی برنامه ها، نرم افزار کامپیوتر. در پردازش داده های اداری، سیستم های هدف خاص و مبتنی بر برنامه
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای پایه ای به مهندسی نرم افزار: 16th International Conference، FASE 2013، برگزار شده به عنوان بخشی از همایش های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2013، رم، ایتالیا، 16 تا 24 مارس 2013. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای پایه ای به مهندسی نرم افزار: 16th International Conference، FASE 2013، برگزار شده به عنوان بخشی از همایش های مشترک اروپا در زمینه تئوری و عملی نرم افزار، ETAPS 2013، رم، ایتالیا، 16 تا 24 مارس 2013.
این کتاب مجموعه مقالات شانزدهمین کنفرانس بین المللی رویکردهای بنیادی به مهندسی نرم افزار، FASE 2013 است که به عنوان بخشی از کنفرانس مشترک اروپایی نظریه و عمل نرم افزار، ETAPS 2013، در رم، ایتالیا، در سال 2013 برگزار شد. مارس 2013. 25 مقاله ارائه شده در این جلد به دقت بررسی و از 112 مقاله ارسالی انتخاب شدند. آنها در بخش های موضوعی به نام های: مهندسی مدل محور سازماندهی شده اند. تایید و تایید؛ درک نرم افزار؛ ابزار تجزیه و تحلیل؛ مهندسی مدل محور: برنامه های کاربردی. تبدیل مدل؛ و تست کردن.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing.
فهرست مطالب
Front Matter....Pages -
Variability in Software: State of the Art and Future Directions....Pages 1-5
Towards a Distributed Modeling Process Based on Composite Models....Pages 6-20
Change Propagation due to Uncertainty Change....Pages 21-36
A Model-Based Synthesis Process for Choreography Realizability Enforcement....Pages 37-52
On Extracting Feature Models from Sets of Valid Feature Combinations....Pages 53-67
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets....Pages 68-82
Quality of Merge-Refactorings for Product Lines....Pages 83-98
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs....Pages 99-113
Discovering Branching Conditions from Business Process Execution Logs....Pages 114-129
Exposing Behavioral Differences in Cross-Language API Mapping Relations....Pages 130-145
Explicit-State Software Model Checking Based on CEGAR and Interpolation....Pages 146-162
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks....Pages 163-178
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification....Pages 179-193
Scenario Realizability with Constraint Optimization....Pages 194-209
Andromeda : Accurate and Scalable Security Analysis of Web Applications....Pages 210-225
VerChor: A Framework for Verifying Choreographies....Pages 226-230
Javanni: A Verifier for JavaScript....Pages 231-234
Model-Based Implementation of Parallel Real-Time Systems....Pages 235-249
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications....Pages 250-265
A Mechanized Model for CAN Protocols....Pages 266-281
Enforcing QVT-R with mu-Calculus and Games....Pages 282-296
Implementing QVT-R Bidirectional Model Transformations Using Alloy....Pages 297-311
Abstraction and Training of Stochastic Graph Transformation Systems....Pages 312-326
Discovering Math APIs by Mining Unit Tests....Pages 327-342
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications....Pages 343-358
Testing with Inputs and Outputs in CSP....Pages 359-374
Back Matter....Pages -
