دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings
دانلود کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: پانزدهمین کنفرانس بین المللی ، TACAS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس ، 2009. مجموعه مقالات
مشخصات کتاب
Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 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 نویسندگان: Yann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon (auth.), Stefan Kowalewski, Anna Philippou (eds.) سری: Lecture Notes in Computer Science 5505 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642007675, 9783642007682 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 470 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 31,000
کلمات کلیدی مربوط به کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: پانزدهمین کنفرانس بین المللی ، TACAS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس ، 2009. مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، مهندسی نرم افزار، مهندسی نرم افزار/برنامه نویسی و سیستم عامل، منطق و معانی برنامه ها، تکنیک های برنامه نویسی
در صورت تبدیل فایل کتاب Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 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 می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: پانزدهمین کنفرانس بین المللی ، TACAS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتم های ساخت و تحلیل سیستم ها: پانزدهمین کنفرانس بین المللی ، TACAS 2009 ، به عنوان بخشی از کنفرانس های مشترک اروپایی در زمینه تئوری و عملکرد نرم افزار ، ETAPS 2009 ، یورک ، انگلیس ، 22-29 مارس ، 2009. مجموعه مقالات
این کتاب مجموعه مقالات داوری پانزدهمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2009، در یورک، انگلستان، در مارس 2009، به عنوان بخشی از ETAPS 2009، اروپا است. کنفرانس های مشترک تئوری و عمل نرم افزار.
27 مقاله کامل و 8 نمایش ابزار موجود در این جلد به طور کامل بررسی و از بین 131 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی بررسی مدل، ابزارها، تأیید برنامه‌های همزمان، تحلیل پارامتریک، تجزیه و تحلیل برنامه، و سیستم‌های ترکیبی سازماندهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2009, held in York, UK, in March 2009, as part of ETAPS 2009, the European Joint Conferences on Theory and Practice of Software.
The 27 full papers and 8 tool demonstrations included in the volume were thoroughly reviewed and selected from 131 submissions. The papers are organized in topical sections on Model Checking, Tools, Verification of Concurrent Programs, Parametric Analysis, Program Analysis, and Hybrid Systems.
فهرست مطالب
Front Matter....Pages -
Hierarchical Set Decision Diagrams and Regular Models....Pages 1-15
Büchi Complementation and Size-Change Termination....Pages 16-30
Learning Minimal Separating DFA’s for Compositional Verification....Pages 31-45
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control....Pages 46-49
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets....Pages 50-53
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches....Pages 54-57
Alpaga: A Tool for Solving Parity Games with Imperfect Information....Pages 58-61
Compositional Predicate Abstraction from Game Semantics....Pages 62-76
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications....Pages 77-91
Computing Weakest Strategies for Safety Games of Imperfect Information....Pages 92-106
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads....Pages 107-123
Semantic Reduction of Thread Interleavings in Concurrent Programs....Pages 124-138
Inferring Synchronization under Limited Observability....Pages 139-154
The Complexity of Predicting Atomicity Violations....Pages 155-169
MoonWalker : Verification of .NET Programs....Pages 170-173
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays....Pages 174-177
The Yogi Project: Software Property Checking via Static Analysis and Testing....Pages 178-181
TaPAS: The Talence Presburger Arithmetic Suite....Pages 182-185
Transition-Based Directed Model Checking....Pages 186-200
Memoised Garbage Collection for Software Model Checking....Pages 201-214
Hierarchical Adaptive State Space Caching Based on Level Sampling....Pages 215-229
Static Analysis Techniques for Parameterised Boolean Equation Systems....Pages 230-245
Parametric Trace Slicing and Monitoring....Pages 246-261
From Tests to Proofs....Pages 262-276
Test Input Generation for Programs with Pointers....Pages 277-291
Specification Mining with Few False Positives....Pages 292-306
Path Feasibility Analysis for String-Manipulating Programs....Pages 307-321
Symbolic String Verification: Combining String Analysis and Size Analysis....Pages 322-336
Iterating Octagons....Pages 337-351
Verifying Reference Counting Implementations....Pages 352-367
Falsification of LTL Safety Properties in Hybrid Systems....Pages 368-382
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints....Pages 383-397
All-Termination( T )....Pages 398-412
Ground Interpolation for the Theory of Equality....Pages 413-427
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets....Pages 428-442
Bridging the Gap Between Model-Based Development and Model Checking....Pages 443-453
Back Matter....Pages -
