دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
دانلود کتاب روشهای رسمی کارگاه های بین المللی FM 2019: پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مقالات منتخب بازبینی شده ، قسمت دوم
مشخصات کتاب
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
ویرایش: [1st ed.] نویسندگان: Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas سری: Lecture Notes in Computer Science 12233 ISBN (شابک) : 9783030549961, 9783030549978 ناشر: Springer International Publishing;Springer سال نشر: 2020 تعداد صفحات: XVIII, 575 [584] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 25 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی کارگاه های بین المللی FM 2019: پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مقالات منتخب بازبینی شده ، قسمت دوم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روشهای رسمی کارگاه های بین المللی FM 2019: پورتو ، پرتغال ، 7 تا 11 اکتبر 2019 ، مقالات منتخب بازبینی شده ، قسمت دوم
این کتاب مجموعه مقالات داوری کارگاه‌هایی است که مکمل بیست و سومین سمپوزیوم روشهای رسمی، FM 2019، که در پورتو، پرتغال، در اکتبر 2019 برگزار شد. این جلد مقالاتی را ارائه می‌کند که برای کارگاه‌های زیر پذیرفته شده‌اند. : سومین کارگاه آموزشی تأیید رسمی عملی برای قابلیت اطمینان نرم افزار، AFFORD 2019؛ هشتمین سمپوزیوم بین المللی از داده ها تا مدل ها و بازگشت، DataMod 2019; اولین کارگاه آموزشی روشهای رسمی برای سیستم‌های خودمختار، FMAS 2019؛ اولین کارگاه آموزشی روش های رسمی برای بلاک چین، FMBC 2019؛ هشتمین کارگاه بین المللی روش های رسمی برای سیستم های تعاملی، FMIS 2019؛ اولین کارگاه تاریخچه روش های رسمی، HFM 2019; هشتمین کارگاه بین المللی دامنه های انتزاعی عددی و نمادین، NSAD 2019; نهمین کارگاه بین المللی رویکردهای جامعه باز به آموزش، پژوهش و فناوری، OpenCERT 2019؛ هفدهمین کارگاه اورتور، اورتور 2019; نوزدهمین کارگاه پالایش، پالایش 2019; اولین کارگاه بین المللی برگشت پذیری در برنامه نویسی، زبان ها و خودکارها، RPLA 2019؛ دهمین کارگاه بین المللی تجزیه و تحلیل استاتیک و زیست شناسی سیستم ها، SASB 2019; و دهمین کارگاه آموزشی ابزارهای تجزیه و تحلیل خودکار برنامه، TAPAS 2019.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
فهرست مطالب
Front Matter ....Pages i-xviii
Front Matter ....Pages 1-13
Flow Diagrams, Assertions, and Formal Methods (Mark Priestley)....Pages 15-34
The School of Squiggol (Jeremy Gibbons)....Pages 35-53
Reasoning About Shared-Variable Concurrency: Interactions Between Research Threads (Cliff B. Jones)....Pages 54-72
Specification with Class: A Brief History of Object-Z (Graeme Smith, David J. Duke)....Pages 73-86
Formal Specifications and Software Testing, a Fruitful Convergence (Marie-Claude Gaudel)....Pages 87-94
From Manuscripts to Programming Languages: An Archivist Perspective (Alexandra Vidal, Ana Sandra Meneses, António Sousa)....Pages 95-102
What Have Formal Methods Ever Done for Us? An Audience Discussion (Troy Kaighin Astarte)....Pages 103-113
Front Matter ....Pages 115-118
Combination of Boxes and Polyhedra Abstractions for Constraint Solving (Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné, Charlotte Truchet)....Pages 119-135
An Abstract Domain for Objects in Dynamic Programming Languages (Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni)....Pages 136-151
Front Matter ....Pages 153-156
A Survey of Learning Methods in Open Source Software (Aidarbek Suleimenov, Assiya Khuzyakhmetova, Antonio Cerone)....Pages 157-166
A Calculus of Chaos in Stochastic Compilation (Peter T. Breuer, Simon J. Pickin)....Pages 167-184
Runtime Verification of Linux Kernel Security Module (Denis Efremov, Ilya Shchepetkov)....Pages 185-199
Open and Interactive Learning Resources for Algorithmic Problem Solving (João F. Ferreira, Alexandra Mendes)....Pages 200-208
Challenges Faced by Students in an Open Source Software Undergraduate Course (Dias Issa)....Pages 209-223
Open Source Software as a Learning Tool for Computer Science Students (Assiya Khuzyakhmetova, Aidarbek Suleimenov)....Pages 224-232
Front Matter ....Pages 233-235
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation (Ken Pierce, Carl Gamble, David Golightly, Roberto Palacín)....Pages 237-253
Migrating the INTO-CPS Application to the Cloud (Hugo Daniel Macedo, Mikkel Bayard Rasmussen, Casper Thule, Peter Gorm Larsen)....Pages 254-271
Towards a Static Check of FMUs in VDM-SL (Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo, Peter Gorm Larsen)....Pages 272-288
ViennaDoc: An Animatable and Testable Specification Documentation Tool (Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang et al.)....Pages 289-302
Front Matter ....Pages 303-305
A Map of Asynchronous Communication Models (Florent Chevrou, Aurélie Hurault, Shin Nakajima, Philippe Quéinnec)....Pages 307-322
An Abstract Semantics of Speculative Execution for Reasoning About Security Vulnerabilities (Robert J. Colvin, Kirsten Winter)....Pages 323-341
Weakening Correctness and Linearizability for Concurrent Objects on Multicore Processors (Graeme Smith, Lindsay Groves)....Pages 342-357
Towards a Method for the Decomposition by Refinement in Event-B (Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart-Dutilleul, Philippe Bon, Dorian Petit)....Pages 358-370
Transformations for Generating Type Refinements (Douglas R. Smith, Stephen J. Westfold)....Pages 371-387
Comparing Correctness-by-Construction with Post-Hoc Verification—A Qualitative User Study (Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson)....Pages 388-405
Front Matter ....Pages 407-412
Reversible Programs Have Reversible Semantics (Robert Glück, Robin Kaarsgaard, Tetsuo Yokoyama)....Pages 413-427
Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems (Kamil Khadiev, Aliya Khadieva)....Pages 428-442
Quotients and Atoms of Reversible Languages (Hellis Tamm)....Pages 443-455
Front Matter ....Pages 457-459
Bayesian Verification of Chemical Reaction Networks (Gareth W. Molyneux, Viraj B. Wijesuriya, Alessandro Abate)....Pages 461-479
Nested Event Representation for Automated Assembly of Cell Signaling Network Models (Evan W. Becker, Kara N. Bocan, Natasa Miskov-Zivanov)....Pages 480-499
Front Matter ....Pages 501-506
PrideMM: Second Order Model Checking for Memory Consistency Models (Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, Mikoláš Janota)....Pages 507-525
Fkcc: The Farkas Calculator (Christophe Alias)....Pages 526-536
Handling Heap Data Structures in Backward Symbolic Execution (Robert Husák, Jan Kofroň, Filip Zavoral)....Pages 537-556
AuthCheck: Program-State Analysis for Access-Control Vulnerabilities (Goran Piskachev, Tobias Petrasch, Johannes Späth, Eric Bodden)....Pages 557-572
Back Matter ....Pages 573-575
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Routledge Companion to Epistemology (Routledge Philosophy Companions)
دانلود کتاب New Trends in Fluid and Solid Models: Proceedings of the International Conference in Honour of Brian Straughan, Vietri sul Mare (SA) Italy, 28 February-1 March 2008
دانلود کتاب Literature and Society
دانلود کتاب Kriegsmarine im 2 Weltkrieg
