دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
دانلود کتاب روش های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در مورد روش های رسمی ، SBMF 2010 ، ناتال ، برزیل ، 8-11 نوامبر 2010 ، مقالات منتخب اصلاح شده
مشخصات کتاب
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
ویرایش: 1 نویسندگان: Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.) سری: Lecture Notes in Computer Science 6527 : Programming and Software Engineering ISBN (شابک) : 9783642198281, 9783642198298 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 298 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 43,000
کلمات کلیدی مربوط به کتاب روش های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در مورد روش های رسمی ، SBMF 2010 ، ناتال ، برزیل ، 8-11 نوامبر 2010 ، مقالات منتخب اصلاح شده: مهندسی نرم افزار، منطق و معانی برنامه ها، زبان های برنامه نویسی، کامپایلر، مترجمان، تکنیک های برنامه نویسی، منطق ریاضی و زبان های رسمی، مدیریت محاسبات و سیستم های اطلاعاتی
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در مورد روش های رسمی ، SBMF 2010 ، ناتال ، برزیل ، 8-11 نوامبر 2010 ، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش های رسمی: مبانی و کاربردها: سیزدهمین سمپوزیوم برزیل در مورد روش های رسمی ، SBMF 2010 ، ناتال ، برزیل ، 8-11 نوامبر 2010 ، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از کنفرانس سیزدهمین سمپوزیوم برزیلی روش‌های رسمی، SBMF 2010، که در نوامبر 2010 در ناتال، برزیل برگزار شد، تشکیل شده است. مقالات ارائه شده طیف گسترده ای از مسائل اساسی و روش شناختی در روش های رسمی برای طراحی و تجزیه و تحلیل سیستم های نرم افزاری و سخت افزاری و همچنین برنامه های کاربردی در حوزه های مختلف را پوشش می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
فهرست مطالب
Front Matter....Pages -
Directed Model Checking for B: An Evaluation and New Techniques....Pages 1-16
Midlet Navigation Graphs in JML....Pages 17-32
Runtime Verification for Generic Classes with ConGu 2....Pages 33-48
A High-Level Language for Modeling Algorithms and Their Properties....Pages 49-63
A Formal Environment Model for Multi-Agent Systems....Pages 64-79
A Modal Interface Theory with Data Constraints....Pages 80-95
Synchronizing Model and Program Refactoring....Pages 96-111
A Type-Theoretic Framework for Certified Model Transformations....Pages 112-127
Simulating Truly Concurrent CSP....Pages 128-143
Statistical Verification of Probabilistic Properties with Unbounded Until....Pages 144-160
Reasoning about Assignments in Recursive Data Structures....Pages 161-176
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned....Pages 177-193
A Formal Framework for Specifying and Analyzing Logs as Electronic Evidence....Pages 194-209
Formal Development of a Cardiac Pacemaker: From Specification to Code....Pages 210-225
A Decision Procedure for Bisimilarity of Generalized Regular Expressions....Pages 226-241
Normalization of Linear Horn Clauses....Pages 242-257
A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs....Pages 258-273
Automating Refinement of Circus Programs....Pages 274-290
Back Matter....Pages -
