دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
دانلود کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. مدل سازی: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت اول
مشخصات کتاب
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I
ویرایش: 1st ed.
نویسندگان: Tiziana Margaria. Bernhard Steffen
سری: Lecture Notes in Computer Science 11244
ISBN (شابک) : 9783030034177, 9783030034184
ناشر: Springer International Publishing
سال نشر: 2018
تعداد صفحات: 599
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 40 مگابایت
قیمت کتاب (تومان) : 30,000
کلمات کلیدی مربوط به کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. مدل سازی: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت اول: علوم کامپیوتر، مهندسی نرم افزار، زبان های برنامه نویسی، کامپایلرها، مترجمان، تئوری محاسبات، سازمان سیستم های کامپیوتری و شبکه های ارتباطی، حرفه محاسبات
در صورت تبدیل فایل کتاب Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. مدل سازی: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت اول نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استفاده از روش‌های رسمی، تأیید و اعتبارسنجی. مدل سازی: هشتمین سمپوزیوم بین المللی، ISoLA 2018، لیماسول، قبرس، 5-9 نوامبر 2018، مجموعه مقالات، قسمت اول
مجموعه چهار جلدی LNCS 11244، 11245، 11246، و 11247، مجموعه مقالات داوری هشتمین سمپوزیوم بین المللی در استفاده از کاربردهای روش های رسمی، تأیید و اعتبارسنجی، ISoLA 2018، قبرس در لیماسول، قبرس برگزار می شود. اکتبر/نوامبر 2018.
مقالات ارائه شده به دقت بررسی و برای گنجاندن در روند رسیدگی
انتخاب شدند. هر جلد بر یک موضوع جداگانه با عناوین بخش موضوعی
در جلد تمرکز دارد:
بخش اول، مدل‌سازی: به سوی یک دیدگاه واحد از مدل‌سازی و
برنامه‌نویسی. X-by-construction، STRESS 2018.
بخش دوم، تأیید: نمای گسترده‌تر در تأیید: از استاتیک تا زمان
اجرا و برگشت. ابزارهای ارزیابی برای تأیید نرم افزار؛ بررسی
مدل آماری؛ RERS 2018; سمپوزیوم دکتری.
بخش سوم، سیستم های توزیع شده: مهندسی دقیق سیستم های تطبیقی
جمعی. تایید و اعتبار سنجی سیستم های توزیع شده؛ و مهندسی
سیستم های فیزیکی-سایبری.
بخش چهارم، تمرین صنعتی: تأیید زمان اجرا از تئوری تا عمل
صنعتی. روش های رسمی در عمل صنعتی - پر کردن شکاف. قراردادهای
هوشمند قابل اعتماد: پیشرفته ترین، برنامه های کاربردی، چالش ها
و مسیرهای آینده. و روز صنعتی
توضیحاتی درمورد کتاب به خارجی
The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.
The papers presented were carefully reviewed and selected for
inclusion in the proceedings. Each volume focusses on an
individual topic with topical section headings within the
volume:
Part I, Modeling: Towards a unified view of modeling and
programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from
static to runtime and back; evaluating tools for software
verification; statistical model checking; RERS 2018; doctoral
symposium.
Part III, Distributed Systems: rigorous engineering of
collective adaptive systems; verification and validation of
distributed systems; and cyber-physical systems
engineering.
Part IV, Industrial Practice: runtime verification from the
theory to the industry practice; formal methods in industrial
practice - bridging the gap; reliable smart contracts:
state-of-the-art, applications, challenges and future
directions; and industrial day.
فهرست مطالب
Front Matter ....Pages I-XV
Front Matter ....Pages 1-1
Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction) (Manfred Broy, Klaus Havelund, Rahul Kumar, Bernhard Steffen)....Pages 3-21
On Modeling and Programming (Neil D. Jones)....Pages 22-34
Definition of Modeling vs. Programming Languages (Maged Elaasar)....Pages 35-51
A Non-unified View of Modelling, Specification and Programming (Stefan Hallerstede, Peter Gorm Larsen, John Fitzgerald)....Pages 52-68
Using Umple to Synergistically Process Features, Variants, UML Models and Classic Code (Timothy C. Lethbridge, Abdulaziz Algablan)....Pages 69-88
Why Programming Must Be Supported by Modeling and How (Egon Börger)....Pages 89-110
On Models and Code (Marieke Huisman)....Pages 111-118
Type Theory as a Framework for Modelling and Programming (Cezar Ionescu, Patrik Jansson, Nicola Botta)....Pages 119-133
Bringing Effortless Refinement of Data Layouts to Cogent (Liam O’Connor, Zilin Chen, Partha Susarla, Christine Rizkallah, Gerwin Klein, Gabriele Keller)....Pages 134-149
Programming Is Modeling (Rance Cleaveland)....Pages 150-161
Programming Language Specification and Implementation (Peter Sestoft)....Pages 162-183
Modeling with Scala (Klaus Havelund, Rajeev Joshi)....Pages 184-205
This Is Not a ModelOpen image in new window (Ole Lehrmann Madsen, Birger Møller-Pedersen)....Pages 206-224
A Unified Approach for Modeling, Developing, and Assuring Critical Systems (John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang)....Pages 225-245
Towards Interactive Compilation Models (Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden)....Pages 246-260
From Computational Thinking to Constructive Design with Simple Models (Tiziana Margaria)....Pages 261-278
Design Languages: A Necessary New Generation of Computer Languages (Bran Selić)....Pages 279-294
From Modeling to Model-Based Programming (Gabor Karsai)....Pages 295-308
Fusing Modeling and Programming into Language-Oriented Programming (Markus Voelter)....Pages 309-339
On the Difficulty of Drawing the Line (Steve Boßelmann, Stefan Naujokat, Bernhard Steffen)....Pages 340-356
Front Matter ....Pages 357-357
X-by-Construction (Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson)....Pages 359-364
Program Correctness by Transformation (Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari)....Pages 365-380
Design for ‘X’ Through Model Transformation (Michael Lybecait, Dawid Kopetzki, Bernhard Steffen)....Pages 381-398
Modelling by Patterns for Correct-by-Construction Process (Dominique Méry)....Pages 399-423
Modular, Correct Compilation with Automatic Soundness Proofs (Dominic Steinhöfel, Reiner Hähnle)....Pages 424-447
Deployment by Construction for Multicore Architectures (Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa)....Pages 448-465
Towards Software Performance by Construction (Mirco Tribastone)....Pages 466-470
Is Privacy by Construction Possible? (Gerardo Schneider)....Pages 471-485
X-by-C: Non-functional Security Challenges (Thomas Given-Wilson, Axel Legay)....Pages 486-501
Towards Confidentiality-by-Construction (Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick Kourie, Bruce W. Watson)....Pages 502-515
Front Matter ....Pages 517-517
A Tutorial Introduction to Graphical Modeling and Metamodeling with CINCO (Michael Lybecait, Dawid Kopetzki, Philip Zweihoff, Annika Fuhge, Stefan Naujokat, Bernhard Steffen)....Pages 519-538
Model-Based Development for High-Assurance Embedded Systems ( Robby, John Hatcliff, Jason Belt)....Pages 539-545
DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering (Frederik Gossen, Tiziana Margaria, Alnis Murtovi, Stefan Naujokat, Bernhard Steffen)....Pages 546-564
Tutorial: An Overview of Malware Detection and Evasion Techniques (Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf)....Pages 565-586
Back Matter ....Pages 587-588
