Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Springer International Publishing (Verlag)
978-3-031-12428-0 (ISBN)
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.
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.
Erscheinungsdatum | 27.09.2022 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XI, 350 p. 109 illus., 82 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 551 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Artificial Intelligence • Computer Networks • computer programming • Computer systems • digital signal processing • distributed computer systems • Distributed Systems • Embedded Systems • Formal Logic • Knowledge-Based System • Knowledge-based systems • machine learning • Mobile Robots • Network Protocols • object-oriented programming • Robotics • Signal Processing • software architecture • Software Design • Software engineering |
ISBN-10 | 3-031-12428-6 / 3031124286 |
ISBN-13 | 978-3-031-12428-0 / 9783031124280 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich