دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.) سری: Lecture Notes in Computer Science 4591 ISBN (شابک) : 3540732098, 9783540732099 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2007 تعداد صفحات: 668 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت تبدیل فایل کتاب Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی یکپارچه: ششمین کنفرانس بین المللی ، IFM 2007 ، آکسفورد ، انگلستان ، 2-5 ژوئیه ، 2007. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری ششمین کنفرانس بینالمللی روشهای رسمی یکپارچه، IFM 2007 است که در آکسفورد، انگلستان در ژوئیه 2007 برگزار شد.
32 مقاله کامل اصلاحشده همراه با 1 مقاله دعوت شده ارائه شد. به دقت بررسی و از بین 85 مورد ارسالی انتخاب شد. این مقالات به تمام جنبههای یکپارچهسازی روشهای رسمی، از جمله فرآیند تحلیل یا طراحی استفاده از روشهای رسمی برای تجزیه و تحلیل یا طراحی، گسترش یک روش، بر اساس گنجاندن ایدهها یا مفاهیم دیگر، زبانهای مدلسازی غیررسمی یا نیمه رسمی میپردازند. ، ابزارها یا تکنیک ها و ادغام معنایی یا کاربرد عملی.
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK in July 2007.
The 32 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 85 submissions. The papers address all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method, based upon the inclusion of ideas or concepts from others, informal or semi-formal modelling languages, tools, or techniques, and semantic integration or practical application.
Front Matter....Pages -
Verifying Temporal Properties of CommUnity Designs....Pages 1-20
Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications....Pages 21-36
Automated Verification of Security Policies in Mobile Code....Pages 37-53
Slicing Concurrent Real-Time System Specifications for Verification....Pages 54-74
Slotted-Circus....Pages 75-97
Bug Hunting with False Negatives....Pages 98-117
Behavioural Specifications from Class Models....Pages 118-137
Inheriting Laws for Processes with States....Pages 138-155
Probabilistic Timed Behavior Trees....Pages 156-175
Guiding the Correction of Parameterized Specifications....Pages 176-194
Proving Linearizability Via Non-atomic Refinement....Pages 195-214
Lifting General Correctness into Partial Correctness is ok ....Pages 215-232
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters....Pages 233-252
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks....Pages 253-272
Finding State Solutions to Temporal Logic Queries....Pages 273-292
Qualitative Probabilistic Modelling in Event-B....Pages 293-312
Verifying Smart Card Applications: An ASM Approach....Pages 313-332
Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function....Pages 333-352
UTP Semantics for Web Services....Pages 353-372
Combining Mobility with State....Pages 373-392
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System....Pages 393-412
Capturing Conflict and Confusion in CSP....Pages 413-438
A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems....Pages 439-458
Decomposing Integrated Specifications for Verification....Pages 459-479
Validating Z Specifications Using the ProB Animator and Model Checker....Pages 480-500
Verification of Multi-agent Negotiations Using the Alloy Analyzer....Pages 501-517
Integrated Static Analysis for Linux Device Driver Verification....Pages 518-537
Integrating Verification, Testing, and Learning for Cryptographic Protocols....Pages 538-557
Translating FSP into LOTOS and Networks of Automata....Pages 558-578
Common Semantics for Use Cases and Task Models....Pages 579-598
Unifying Theories of Objects....Pages 599-618
Non-interference Properties for Data-Type Reduction of Communicating Systems....Pages 619-638
Co-simulation of Distributed Embedded Real-Time Control Systems....Pages 639-658
Back Matter....Pages -