دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
دانلود کتاب روش‌های رسمی: مبانی و کاربردها: بیست و یکمین سمپوزیوم برزیل، SBMF 2018، سالوادور، برزیل، 26 تا 30 نوامبر 2018، مجموعه مقالات
مشخصات کتاب
Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
ویرایش: 1st ed.
نویسندگان: Tiago Massoni. Mohammad Reza Mousavi
سری: Lecture Notes in Computer Science 11254
ISBN (شابک) : 9783030030438, 9783030030445
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 281
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 13 مگابایت
قیمت کتاب (تومان) : 58,000
کلمات کلیدی مربوط به کتاب روش‌های رسمی: مبانی و کاربردها: بیست و یکمین سمپوزیوم برزیل، SBMF 2018، سالوادور، برزیل، 26 تا 30 نوامبر 2018، مجموعه مقالات: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تکنیک های برنامه نویسی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تجزیه و تحلیل الگوریتم و پیچیدگی مسائل
در صورت تبدیل فایل کتاب Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش‌های رسمی: مبانی و کاربردها: بیست و یکمین سمپوزیوم برزیل، SBMF 2018، سالوادور، برزیل، 26 تا 30 نوامبر 2018، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش‌های رسمی: مبانی و کاربردها: بیست و یکمین سمپوزیوم برزیل، SBMF 2018، سالوادور، برزیل، 26 تا 30 نوامبر 2018، مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و یکمین سمپوزیوم برزیلی
روش‌های رسمی، SBMF 2018 است که در نوامبر 2018 در سالوادور،
برزیل برگزار شد.
16 مقاله منظم ارائه شده در این کتاب با دقت بررسی و انتخاب
شدند. 30 ارسال. مقالات در بخش های موضوعی مانند: تکنیک ها و
روش ها سازماندهی شده اند. زبان های مشخصات و مدل سازی؛ مبانی
نظری؛ تایید و تایید؛ گزارش های تجربی در رابطه با آموزش روش
های رسمی؛ و برنامه‌ها. فصل «TeSSLa: زبان مشخصات مبتنی بر
جریان زمانی» تحت مجوز Creative Commons Attribution 4.0
بین‌المللی از طریق link.springer.com دسترسی آزاد در دسترس
است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 21st
Brazilian Symposium on Formal Methods, SBMF 2018, which took
place in Salvador, Brazil, in November 2018.
The 16 regular papers presented in this book were carefully
reviewed and selected from 30 submissions. The papers are
organized in topical sections such as: techniques and
methodologies; specification and modeling languages;
theoretical foundations; verification and validation;
experience reports regarding teaching formal methods; and
applications.Chapter “TeSSLa: Temporal Stream-Based
Specification Language” is available open access under a
Creative Commons Attribution 4.0 International License via
link.springer.com.
فهرست مطالب
Front Matter ....Pages I-X
The Pragmatic Dimension of Formal Methods: Towards Building a Sound Synthesiser (Alexandre Mota)....Pages 1-4
Formal Design of Cloud Computing Systems in Maude (José Meseguer)....Pages 5-19
Source Code Analysis with a Temporal Extension of First-Order Logic (David Come, Julien Brunel, David Doose)....Pages 20-38
A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs (Samuel S. Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois)....Pages 39-55
Programming Language Foundations in Agda (Philip Wadler)....Pages 56-73
Formal Verification of n-bit ALU Using Theorem Proving (Sumayya Shiraz, Osman Hasan)....Pages 74-89
The Scallina Grammar (Youssef El Bakouny, Dani Mezher)....Pages 90-108
VDM at Large: Modelling the EMV®\(2^{nd}\) Generation Kernel (Leo Freitas)....Pages 109-125
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking (Nils Timm, Stefan Gruner, Matthias Harvey)....Pages 126-143
TeSSLa: Temporal Stream-Based Specification Language (Lukas Convent, Sebastian Hungerecker, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma)....Pages 144-162
Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions (Rafaela Almeida, Sidney Nogueira, Augusto Sampaio)....Pages 163-179
A Methodology for Protocol Verification Applied to EMV® 1 (Leo Freitas, Paolo Modesti, Martin Emms)....Pages 180-197
Analysing RoboChart with Probabilities (M. S. Conserva Filho, R. Marinho, A. Mota, J. Woodcock)....Pages 198-214
Timed Scenarios: Consistency, Equivalence and Optimization (Neda Saeedloei, Feliks Kluźniak)....Pages 215-233
Safe and Constructive Design with UML Components (Flávia Falcão, Lucas Lima, Augusto Sampaio)....Pages 234-251
Formal Modelling of Environment Restrictions from Natural-Language Requirements (Tainã Santos, Gustavo Carvalho, Augusto Sampaio)....Pages 252-270
Back Matter ....Pages 271-271
