ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

دانلود کتاب چکیده ماشین آلات دولتی، آلیاژ، B، VDM، و Z: سومین کنفرانس بین المللی، ABZ 2012، پیزا، ایتالیا، 18-21 ژوئن، 2012. مجموعه مقالات

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

مشخصات کتاب

Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

ویرایش: 1 
نویسندگان: , , , , , , , , ,   
سری: Lecture Notes in Computer Science 7316 
ISBN (شابک) : 9783642308840, 9783642308857 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2012 
تعداد صفحات: 391 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 مگابایت 

قیمت کتاب (تومان) : 31,000



کلمات کلیدی مربوط به کتاب چکیده ماشین آلات دولتی، آلیاژ، B، VDM، و Z: سومین کنفرانس بین المللی، ABZ 2012، پیزا، ایتالیا، 18-21 ژوئن، 2012. مجموعه مقالات: منطق و معانی برنامه ها، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه های انتزاعی، ریاضیات محاسبات، ریاضیات محاسبات، ریاضیات گسسته در علوم کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 15


در صورت تبدیل فایل کتاب Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب چکیده ماشین آلات دولتی، آلیاژ، B، VDM، و Z: سومین کنفرانس بین المللی، ABZ 2012، پیزا، ایتالیا، 18-21 ژوئن، 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب چکیده ماشین آلات دولتی، آلیاژ، B، VDM، و Z: سومین کنفرانس بین المللی، ABZ 2012، پیزا، ایتالیا، 18-21 ژوئن، 2012. مجموعه مقالات



این کتاب مجموعه مقالات سومین کنفرانس بین‌المللی ماشین‌های حالت انتزاعی، B، VDM، و Z است که در پیزا، ایتالیا، در ژوئن 2012 برگزار شد. 20 مقاله کامل همراه با 2 سخنرانی دعوت شده و 13 سخنرانی کوتاه ارائه شده است. مقالات به دقت بررسی و از بین 59 مورد ارسالی انتخاب شدند. مجموعه کنفرانس های ABZ به لقاح متقابل پنج روش رسمی مرتبط با حالت دولتی و ماشینی اختصاص داده شده است: ماشین های حالت انتزاعی (ASM)، آلیاژ، B، VDM، و Z. آنها یک پایه مفهومی مشترک دارند و به طور گسترده استفاده می شوند. در هر دو دانشگاه و صنعت برای طراحی و تجزیه و تحلیل سخت افزار و سیستم های نرم افزاری. هدف اصلی این مجموعه کنفرانس کمک به ادغام این روش‌های رسمی، روشن کردن اشتراکات و تفاوت‌های آنها برای درک بهتر نحوه ترکیب رویکردهای مختلف برای انجام وظایف مختلف در مدل‌سازی، اعتبارسنجی تجربی و تأیید ریاضی سخت‌افزار با کیفیت بالا و قابل اعتماد است. /سیستم های نرم افزاری.


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

This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.



فهرست مطالب

Front Matter....Pages -
Contribution to a Rigorous Analysis of Web Application Frameworks....Pages 1-20
Integrated Operational Semantics: Small-Step, Big-Step and Multi-step....Pages 21-35
Test Generation for Sequential Nets of Abstract State Machines....Pages 36-50
ASM and Controller Synthesis....Pages 51-64
Continuous ASM, and a Pacemaker Sensing Fragment....Pages 65-78
An ASM Model of Concurrency in a Web Browser....Pages 79-93
Modeling the Supervisory Control Theory with Alloy ....Pages 94-107
Preventing Arithmetic Overflows in Alloy....Pages 108-121
Extending Alloy with Partial Instances....Pages 122-135
Toward a More Complete Alloy....Pages 136-149
Temporal Logic Model Checking in Alloy....Pages 150-163
Active Attacking Multicast Key Management Protocol Using Alloy....Pages 164-177
Formalizing Hybrid Systems with Event-B....Pages 178-193
SMT Solvers for Rodin....Pages 194-207
Refinement Plans for Informed Formal Design....Pages 208-222
Refinement by Interface Instantiation....Pages 223-237
Discharging Proof Obligations from Atelier B Using Multiple Automated Provers....Pages 238-251
A Semantic Analysis of Logics That Cope with Partial Terms....Pages 252-265
Combining VDM with Executable Code....Pages 266-279
Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions....Pages 280-293
A Tool Chain for the Automatic Generation of Circus  Specifications of Simulink Diagrams....Pages 294-307
Verification of Hardware Interaction Properties of Software....Pages 308-322
Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System....Pages 323-326
A Unified Processor Model for Compiler Verification and Simulation Using ASM....Pages 327-330
Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs....Pages 331-335
A Reliability Prediction Method for Abstract State Machines....Pages 336-340
A Simplified Parallel ASM Thesis....Pages 341-344
Refactoring Abstract State Machine Models....Pages 345-348
Continuous Behaviour in Event-B: A Sketch....Pages 349-352
Formal Verification of PLC Programs Using the B Method....Pages 353-356
A Practical Event-B Refinement Method Based on a UML-Driven Development Process....Pages 357-360
Learn and Test for Event-B – A Rodin Plugin....Pages 361-364
Event-B Code Generation: Type Extension with Theories....Pages 365-368
Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project....Pages 369-372
A Pattern for Modelling Fault Tolerant Systems in Event-B....Pages 373-376
Back Matter....Pages -




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