دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Egon Börger, Antonio Cisternino, Vincenzo Gervasi (auth.), John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene (eds.) سری: Lecture Notes in Computer Science 7316 ISBN (شابک) : 9783642308840, 9783642308857 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 391 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
کلمات کلیدی مربوط به کتاب چکیده ماشین آلات دولتی، آلیاژ، 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چکیده ماشین آلات دولتی، آلیاژ، 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 -