دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
دانلود کتاب رویکردهای بنیادی به مهندسی نرم افزار: دوازدهمین کنفرانس بین المللی، FASE 2009، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2009، یورک، انگلستان، 22-29 مارس 2009 برگزار شد.
مشخصات کتاب
Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
ویرایش: 1 نویسندگان: Allan Clark, Stephen Gilmore, Mirco Tribastone (auth.), Marsha Chechik, Martin Wirsing (eds.) سری: Lecture Notes in Computer Science 5503 : Theoretical Computer Science and General Issues ISBN (شابک) : 3642005926, 9783642005923 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 499 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب رویکردهای بنیادی به مهندسی نرم افزار: دوازدهمین کنفرانس بین المللی، FASE 2009، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2009، یورک، انگلستان، 22-29 مارس 2009 برگزار شد.: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای بنیادی به مهندسی نرم افزار: دوازدهمین کنفرانس بین المللی، FASE 2009، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2009، یورک، انگلستان، 22-29 مارس 2009 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای بنیادی به مهندسی نرم افزار: دوازدهمین کنفرانس بین المللی، FASE 2009، به عنوان بخشی از کنفرانس های مشترک اروپایی در نظریه و عمل نرم افزار، ETAPS 2009، یورک، انگلستان، 22-29 مارس 2009 برگزار شد.
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی رویکردهای بنیادی در مهندسی نرم افزار، FASE 2009، در یورک، انگلستان، در مارس 2009، به عنوان بخشی از ETAPS 2009، کنفرانس های مشترک اروپایی در زمینه تئوری و تمرین نرم افزار.
30 مقاله کامل اصلاح شده ارائه شده همراه با 2 نمایش ابزار به دقت بررسی و از بین 123 مقاله ارسالی منظم و 9 مقاله ابزار انتخاب شدند. موضوعات مورد بحث عبارتند از: توسعه مبتنی بر مدل، ترکیب و تطبیق، مدل‌سازی، آزمایش و اشکال‌زدایی، تجزیه و تحلیل مدل، الگوها، امنیت، پرس و جوها و مدیریت خطا، و ابزارها (دمو) و تجزیه و تحلیل برنامه.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
The 30 revised full papers presented together with 2 tool demonstrations were carefully reviewed and selected from 123 regluar and 9 tool paper submissions. The topics addressed are model-driven development, synthesis and adaptation, modeling, testing and debugging, model analysis, patterns, security, queries and error handling, and tools (demos) and program analysis.
فهرست مطالب
Front Matter....Pages -
Scalable Analysis of Scalable Systems....Pages 1-17
Rewriting Logic Semantics and Verification of Model Transformations....Pages 18-33
Confluence in Domain-Independent Product Line Transformations....Pages 34-48
Object Flow Definition for Refined Activity Diagrams....Pages 49-63
A Category-Theoretical Approach to the Formalisation of Version Control in MDE....Pages 64-78
Controller Synthesis from LSC Requirements....Pages 79-93
Interface Generation and Compositional Verification in JavaPathfinder....Pages 94-108
A Formal Way from Text to Code Templates....Pages 109-123
Context-Aware Adaptive Services: The PLASTIC Approach....Pages 124-139
Synchronous Modeling and Validation of Priority Inheritance Schedulers....Pages 140-154
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy....Pages 155-170
Reducing the Costs of Bounded-Exhaustive Testing....Pages 171-185
Logical Testing....Pages 186-200
Cross-Entropy-Based Replay of Concurrent Programs....Pages 201-215
Control Dependence for Extended Finite State Machines....Pages 216-230
Proving Consistency of Pure Methods and Model Fields....Pages 231-245
On the Implementation of @pre....Pages 246-261
Formal Specification and Analysis of Timing Properties in Software Systems....Pages 262-277
Formal Foundation for Pattern-Based Modelling....Pages 278-293
Problem-Oriented Documentation of Design Patterns....Pages 294-308
Certification of Smart-Card Applications in Common Criteria....Pages 309-324
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks....Pages 325-339
A Formal Connection between Security Automata and JML Annotations....Pages 340-354
Algorithms for Automatically Computing the Causal Paths of Failures....Pages 355-369
Mining API Error-Handling Specifications from Source Code....Pages 370-384
SNIFF: A Search Engine for Java Using Free-Form Queries....Pages 385-400
Inquiry and Introspection for Non-deterministic Queries in Mobile Networks....Pages 401-416
hol-TestGen ....Pages 417-420
CADS*: Computer-Aided Development of Self-* Systems....Pages 421-424
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis....Pages 425-439
Accurate and Efficient Structural Characteristic Feature Extraction for Clone Detection....Pages 440-455
Enhanced Property Specification and Verification in BLAST....Pages 456-469
Finding Loop Invariants for Programs over Arrays Using a Theorem Prover....Pages 470-485
Back Matter....Pages -
