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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
