دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Yamine Ait Ameur. Klaus-Dieter Schewe (eds.)
سری: Lecture Notes in Computer Science 8477 Theoretical Computer Science and General Issues
ISBN (شابک) : 9783662436516, 9783662436523
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 348
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ماشین آلات دولتی ، آلیاژ ، B ، TLA ، VDM و Z: چهارمین کنفرانس بین المللی ، ABZ 2014 ، تولوز ، فرانسه ، 2-6 ژوئن 2014. مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی
در صورت تبدیل فایل کتاب Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ماشین آلات دولتی ، آلیاژ ، B ، TLA ، VDM و Z: چهارمین کنفرانس بین المللی ، ABZ 2014 ، تولوز ، فرانسه ، 2-6 ژوئن 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات چهارمین کنفرانس بینالمللی ماشینهای حالت انتزاعی، B، TLA، VDM و Z است که در ژوئن 2014 در تولوز، فرانسه برگزار شد. 13 مقاله کامل همراه با 3 سخنرانی دعوتشده ارائه شده است. و 19 مقاله کوتاه به دقت بررسی و از بین 81 مقاله ارسالی انتخاب شدند. مجموعه کنفرانس های ABZ به لقاح متقابل شش روش رسمی مرتبط با حالت دولتی و ماشینی اختصاص داده شده است: ماشین های حالت انتزاعی (ASM)، آلیاژ، B، TLA، VDM و Z. آنها یک پایه مفهومی مشترک دارند و به طور گسترده ای هستند. هم در دانشگاه و هم در صنعت برای طراحی و تحلیل سیستم های سخت افزاری و نرم افزاری استفاده می شود. هدف اصلی این مجموعه کنفرانس کمک به ادغام این روشهای رسمی، روشن کردن اشتراکات و تفاوتهای آنها برای درک بهتر نحوه ترکیب رویکردهای مختلف برای انجام وظایف مختلف در مدلسازی، اعتبارسنجی تجربی و تأیید ریاضی سختافزار با کیفیت بالا و قابل اعتماد است. /سیستم های نرم افزاری.
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in Toulouse, France, in June 2014. The 13 full papers presented together with 3 invited talks and 19 short papers were carefully reviewed and selected from 81 submissions. The ABZ conference series is dedicated to the cross-fertilization of six related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, TLA, 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 -
The Rodin Platform Has Turned Ten....Pages 1-8
Development of a Verified Flash File System....Pages 9-24
Why Amazon Chose TLA + ....Pages 25-39
Translating B to TLA + for Validation with TLC....Pages 40-55
α Rby—An Embedding of Alloy in Ruby....Pages 56-71
MAZE: An Extension of Object-Z for Multi-Agent Systems....Pages 72-85
Quasi-Lexicographic Convergence....Pages 86-100
Towards B as a High-Level Constraint Modelling Language....Pages 101-116
Analysis of Self-⋆ and P2P Systems Using Refinement....Pages 117-123
B Formal Validation of ERTMS/ETCS Railway Operating Rules....Pages 124-129
Modelling Energy Consumption in Embedded Systems with VDM-RT....Pages 130-135
Sealed Containers in Z....Pages 136-141
Specifying Transaction Control to Serialize Concurrent Program Executions....Pages 142-157
Distributed Situation Analysis....Pages 158-173
Introducing Aspect–Oriented Specification for Abstract State Machines....Pages 174-187
Modular Refinement for Submachines of ASMs....Pages 188-203
Towards ASM-Based Formal Specification of Self-Adaptive Systems....Pages 204-209
Distributed ASM - Pitfalls and Solutions....Pages 210-215
WebASM: An Abstract State Machine Execution Environment for the Web....Pages 216-221
Formal System Modelling Using Abstract Data Types in Event-B....Pages 222-237
Formal Derivation of Distributed MapReduce....Pages 238-254
Validating the RBAC ANSI 2012 Standard Using B....Pages 255-270
Invariant Guided System Decomposition....Pages 271-276
Understanding and Planning Event-B Refinement through Primitive Rationales....Pages 277-283
Templates for Event-B Code Generation....Pages 284-289
The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations....Pages 290-293
Tuning the Alt-Ergo SMT Solver for B Proof Obligations....Pages 294-297
Fixed-Point Arithmetic Modeled in B Software Using Reals....Pages 298-302
Bounded Model Checking of Temporal Formulas with Alloy....Pages 303-308
Formal Verification of OS Security Model with Alloy and Event-B....Pages 309-313
Detecting Network Policy Conflicts Using Alloy....Pages 314-317
Staged Evaluation of Partial Instances in a Relational Model Finder....Pages 318-323
Domain-Specific Visualization of Alloy Instances....Pages 324-327
Optimizing Alloy for Multi-objective Software Product Line Configuration....Pages 328-333
Back Matter....Pages -