Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops  CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers /  [electronic resource] : 
edited by Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Venture. 
 - 1st ed. 2022. 
 - XI, 350 p. 109 illus., 82 illus. in color.  online resource. 
 - Lecture Notes in Computer Science,  13230  1611-3349 ; .
 - Lecture Notes in Computer Science,  13230 .
<br/><br/>CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications -- What Does It Mean to Inhibit an Action? A Critical Discussion of Benjamin Libet's Veto in a Recent Study -- Regret from cognition to code -- In Silico Simulations and Analysis of Human Phonological Working Memory Maintenance and Learning Mechanisms with Behavior and Reasoning Description Language (BRDL) -- Fostering safe behaviors via metaphor-based nudging technologies -- Developing the Semantic Web via the Resolution of Meaning Ambiguities -- Original or Fake? How to Understand the Digital Artworks' Value in the Blockchain -- Grounding Psychological Shape Space in Convolutional Neural Networks -- Unexpectedness and Bayes' Rule -- Can reinforcement learning learn itself? A reply to 'Reward is enough' -- CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems -- Enabling Distributed and Hybrid Digital Twins in the Industry5.0 Cloud Continuum -- Under What Conditions does a Digital Shadow Track a Periodic Linear Physical System? -- Convergence Properties of Hierarchical Co-Simulation Approaches -- Co-simulation-based pre-training of a ship trajectory predictor -- Effect of Ship Propulsion Retrofit on Maneuverability Research Based on Co-simulation -- Co-simulation of a Model Predictive Control System for Automotive Applications -- Running Large-Scale and Hybrid Real-Time Aircraft Simulations in an HLA Framework -- Comparison between the HUBCAP and DIGITBrain Platforms for Model-Based Design and Evaluation of Digital Twin -- OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology -- A Life-long Learning Education Passport powered by Blockchain Technology and Verifiable Digital Credentials: The BlockAdemiC Project -- Open Source Discovery, Adoption, and Use: an Informal Perspective -- DrPython-WEB: a tool to help teaching well-written Python programs -- Formal Methods Communities of Practice: A Survey of Personal Experience -- Learning from Mistakes in an Open Source Software Course -- ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem DEvelopment -- A Probabilistic Model Checking Approach to Self-Adapting Machine Learning Systems -- Integration of COTS Processing Architectures in Small Satellites for Onboard Computing using Fault Injection Testing Methodology. 
<br/><br/> This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems; OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology; ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event washeld virtually. 
<br/><br/><label>ISBN: </label>9783031124297 
<br/><br/><label>Standard No.: </label>10.1007/978-3-031-12429-7  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Control engineering.<br/>Robotics.<br/>Automation.<br/>Software engineering.<br/>Artificial intelligence.<br/>Application software.<br/>Computer Science Logic and Foundations of Programming.<br/>Control, Robotics, Automation.<br/>Software Engineering.<br/>Artificial Intelligence.<br/>Computer and Information Systems Applications.<br/>Control and Systems Theory.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151