دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
دانلود کتاب روشهای رسمی یکپارچه: دهمین کنفرانس بین المللی ، IFM 2013 ، ترکو ، فنلاند ، 10-14 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
ویرایش: 1 نویسندگان: Jean-Raymond Abrial (auth.), Einar Broch Johnsen, Luigia Petre (eds.) سری: Lecture Notes in Computer Science 7940 ISBN (شابک) : 9783642386121, 9783642386138 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 455 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: دهمین کنفرانس بین المللی ، IFM 2013 ، ترکو ، فنلاند ، 10-14 ژوئن 2013. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: دهمین کنفرانس بین المللی ، IFM 2013 ، ترکو ، فنلاند ، 10-14 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: دهمین کنفرانس بین المللی ، IFM 2013 ، ترکو ، فنلاند ، 10-14 ژوئن 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کنفرانس بین‌المللی روشهای رسمی یکپارچه، IFM 2013، برگزار شده در تورکو، فنلاند، در ژوئن 2013 است. از بین 84 مقاله ارسالی کامل انتخاب شده است. این مقالات طیفی از روشهای رسمی یکپارچه را پوشش می‌دهند، با تمرکز بر اصلاح، یکپارچه‌سازی، ترجمه، تأیید، قابلیت دسترسی و بررسی مدل، قابلیت استفاده و آزمایش، سیستم‌های توزیع‌شده، معناشناسی، و تجزیه و تحلیل در سطح سیستم.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th
International Conference on Integrated Formal Methods, IFM
2013, held in Turku, Finland, in June 2013.
The 25 revised full papers presented together with 4 invited
papers were carefully reviewed and selected from 84 full
paper submissions. The papers cover the spectrum of
integrated formal methods, focusing on refinement,
integration, translation, verification, reachability and
model checking, usability and testing, distributed systems,
semantics, and system-level analysis.
فهرست مطالب
Front Matter....Pages -
From Z to B and then Event-B: Assigning Proofs to Meaningful Programs....Pages 1-15
Systems Design Guided by Progress Concerns....Pages 16-30
Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement....Pages 31-45
Translating VDM to Alloy....Pages 46-60
Verification of EB 3 Specifications Using CADP....Pages 61-76
Knowledge for the Distributed Implementation of Constrained Systems....Pages 77-93
Automated Anonymity Verification of the ThreeBallot Voting System....Pages 94-108
Compositional Verification of Software Product Lines....Pages 109-123
Deductive Verification of State-Space Algorithms....Pages 124-138
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus....Pages 139-153
Priced Timed Automata and Statistical Model Checking....Pages 154-161
Improved Reachability Analysis in DTMC via Divide and Conquer....Pages 162-176
Solving Games Using Incremental Induction....Pages 177-191
Model-Checking Software Library API Usage Rules....Pages 192-207
Formal Modelling and Verification of Population Protocols....Pages 208-222
Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing....Pages 223-237
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation....Pages 238-252
Automatic Inference of Erlang Module Behaviour....Pages 253-267
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms....Pages 268-284
Quantified Abstractions of Distributed Systems....Pages 285-300
An Algebraic Theory for Web Service Contracts....Pages 301-315
A Compositional Automata-Based Semantics for Property Patterns....Pages 316-330
A Formal Semantics for Complete UML State Machines with Communications....Pages 331-346
From Small-Step Semantics to Big-Step Semantics, Automatically....Pages 347-361
Program Equivalence by Circular Reasoning....Pages 362-377
Structural Transformations for Data-Enriched Real-Time Systems....Pages 378-393
Deadlock Analysis of Concurrent Objects: Theory and Practice....Pages 394-411
Broadcast, Denial-of-Service, and Secure Communication....Pages 412-427
Characterizing Fault-Tolerant Systems by Means of Simulation Relations....Pages 428-442
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Express no: 110
دانلود کتاب Integration nach Unternehmensakquisitionen
دانلود کتاب Ηπειρωτικά Χρονικά 2(1927)
دانلود کتاب Un mapa en la cabeza: Anécdotas, historias y curiosidades de la geografía
