مشخصات کتاب

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 (شابک) : 3642162649, 9783642162640 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 344 
زبان: 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 -

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

کتاب های مرتبط

دانلود کتاب Learning Laravel 5 - Building Practical Applications

دانلود کتاب Easy Laravel 5 - A Hands On Introduction Using A Real World Project

دانلود کتاب Boost C++ Application Development Cookbook

دانلود کتاب A Software Testing Primer

دانلود کتاب The Placenta and Human Developmental Programming

دانلود کتاب Julia: A Fresh Approach to Numerical Computing

دانلود کتاب Why software sucks-- and what you can do about it

دانلود کتاب Programming the VIC. The definitive guide to the Commodore VIC-20 Computer

دانلود کتاب Modernizing Legacy Apps in PHP

دانلود کتاب Quantitative Approaches in Object-Oriented Software Engineering (Innovative Technology Series: Information Systems and Networks)