مشخصات کتاب

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

ویرایش: 1 
نویسندگان: Christel Baier (auth.),  Dominique Méry,  Stephan Merz (eds.)  
سری: Lecture Notes in Computer Science 6396 : Programming and Software Engineering 
ISBN (شابک) : 9783642162657, 3642162657 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 345 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

کلمات کلیدی مربوط به کتاب روشهای رسمی یکپارچه: هشتمین کنفرانس بین المللی ، IFM 2010 ، نانسی ، فرانسه ، 11-14 اکتبر 2010. مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلرها، مترجمان، منطق ریاضی و زبان های رسمی، تکنیک های برنامه نویسی، تحلیل الگوریتم و پیچیدگی مسائل

در صورت تبدیل فایل کتاب Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روشهای رسمی یکپارچه: هشتمین کنفرانس بین المللی ، IFM 2010 ، نانسی ، فرانسه ، 11-14 اکتبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب روشهای رسمی یکپارچه: هشتمین کنفرانس بین المللی ، IFM 2010 ، نانسی ، فرانسه ، 11-14 اکتبر 2010. مجموعه مقالات

این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی روش‌های رسمی یکپارچه، IFM 2010، که در نانسی، فرانسه، در اکتبر 2010 برگزار شد، تشکیل می‌شود. این مقاله به طیف روش‌های رسمی یکپارچه، از نمادهای رسمی و نیمه رسمی، معناشناسی، اصلاح، تأیید و تبدیل مدل گرفته تا سیستم‌های نوع، منطق، ابزار و مطالعات موردی می‌پردازد.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

فهرست مطالب

Front Matter....Pages -
On Model Checking Techniques for Randomized Distributed Systems....Pages 1-11
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems....Pages 12-26
Programming with Miracles....Pages 27-27
An Event-B Approach to Data Sharing Agreements....Pages 28-42
A Logical Framework to Deal with Variability....Pages 43-58
Adding Change Impact Analysis to the Formal Verification of C Programs....Pages 59-73
Creating Sequential Programs from Event-B Models....Pages 74-88
Symbolic Model-Checking of Optimistic Replication Algorithms....Pages 89-104
From Operating-System Correctness to Pervasively Verified Applications....Pages 105-120
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs....Pages 121-135
Verification Architectures: Compositional Reasoning for Real-Time Systems....Pages 136-151
Automatic Verification of Parametric Specifications with Complex Topologies....Pages 152-167
Satisfaction Meets Expectations....Pages 168-182
Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques....Pages 183-198
Specification and Verification of Model Transformations Using UML-RSDS....Pages 199-214
Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems....Pages 215-228
Translating Pi-Calculus into LOTOS NT....Pages 229-244
Systematic Translation Rules from astd to Event-B....Pages 245-259
A CSP Approach to Control in Event-B....Pages 260-274
Towards Probabilistic Modelling in Event-B....Pages 275-289
Safe Commits for Transactional Featherweight Java....Pages 290-304
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation....Pages 305-319
Integrating Implicit Induction Proofs into Certified Proof Environments....Pages 320-335
Back Matter....Pages -

نظرات کاربران

کتاب های تصادفی

دانلود کتاب My Revision Notes: OCR as Biology a

دانلود کتاب Institutions and Governance in Comparative Policy Analysis Studies: Volume Two

دانلود کتاب La Politica Social De Los Regimenes Dictatoriales En Argentina Y Chile (1960

دانلود کتاب Stop America's #1 Killer

دانلود کتاب Imagerie Musculosquelettique : Pathologies Générales