دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
دانلود کتاب روشهای رسمی یکپارچه: نهمین کنفرانس بین المللی، IFM 2012، پیزا، ایتالیا، 18-21 ژوئن 2012. مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
ویرایش: 1 نویسندگان: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne (eds.) سری: Lecture Notes in Computer Science 7321 ISBN (شابک) : 9783642307287, 9783642307294 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 369 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: نهمین کنفرانس بین المللی، IFM 2012، پیزا، ایتالیا، 18-21 ژوئن 2012. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: نهمین کنفرانس بین المللی، IFM 2012، پیزا، ایتالیا، 18-21 ژوئن 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: نهمین کنفرانس بین المللی، IFM 2012، پیزا، ایتالیا، 18-21 ژوئن 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی روشهای رسمی یکپارچه، IFM 2012، که در پیزا، ایتالیا، در ژوئن 2012 برگزار شد، است. . این مقالات طیفی از روشهای رسمی یکپارچه، از نمادهای رسمی و نیمه رسمی، معناشناسی، چارچوب‌های اثبات، پالایش، تأیید، سیستم‌های زمان‌بندی‌شده، و همچنین ابزارها و مطالعات موردی را پوشش می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
فهرست مطالب
Front Matter....Pages -
Contribution to a Rigorous Analysis of Web Application Frameworks....Pages 1-20
Process Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network Management....Pages 21-23
Translating TLA + to B for Validation with ProB ....Pages 24-38
Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands....Pages 39-53
Safety and Line Capacity in Railways – An Approach in Timed CSP....Pages 54-68
Refinement-Based Development of Timed Systems....Pages 69-83
Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports....Pages 84-98
Model Checking as Static Analysis: Revisited....Pages 99-112
Formal Verification of Compiler Transformations on Polychronous Equations....Pages 113-127
Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples....Pages 128-142
MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis....Pages 143-157
Mechanized Extraction of Topology Anti-patterns in Wireless Networks....Pages 158-173
A Proof Framework for Concurrent Programs....Pages 174-190
A UTP Semantics of pGCL as a Homogeneous Relation....Pages 191-205
Behaviour-Based Cheat Detection in Multiplayer Games with Event-B....Pages 206-220
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems....Pages 221-236
Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B....Pages 237-252
Partially-Supervised Plants: Embedding Control Requirements in Plant Components....Pages 253-267
Early Fault Detection in Industry Using Models at Various Abstraction Levels....Pages 268-282
PE -KeY: A Partial Evaluator for Java Programs....Pages 283-295
Specification-Driven Unit Test Generation for Java Generic Classes....Pages 296-311
Specifying UML Protocol State Machines in Alloy....Pages 312-326
Patterns for a Log-Based Strengthening of Declarative Compliance Models....Pages 327-342
A Formal Interactive Verification Environment for the Plan Execution Interchange Language....Pages 343-357
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Conceptual foundations of quantum field theory
دانلود کتاب Cauchy Problem for Differential Operators with Double Characteristics: Non-Effectively Hyperbolic Characteristics
دانلود کتاب RAF RE5 / 7
دانلود کتاب Urban Design for an Urban Century Shaping More Livable, Equitable, and Resilient Cities
