Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
Editat de Antonio Cerone, Marco Autili, Alessio Bucaioni, Cláudio Gomes, Pierluigi Graziani, Maurizio Palmieri, Marco Temperini, Gentiane Ventureen Limba Engleză Paperback – 25 sep 2022
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.
Preț: 321.91 lei
Preț vechi: 402.39 lei
-20%
Puncte Express: 483
Preț estimativ în valută:
56.93€ • 66.09$ • 49.55£
56.93€ • 66.09$ • 49.55£
Carte tipărită la comandă
Livrare economică 18 aprilie-02 mai
Specificații
ISBN-13: 9783031124280
ISBN-10: 3031124286
Pagini: 364
Ilustrații: XI, 350 p. 109 illus., 82 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3031124286
Pagini: 364
Ilustrații: XI, 350 p. 109 illus., 82 illus. in color.
Dimensiuni: 155 x 235 x 20 mm
Greutate: 0.55 kg
Ediția:1st edition 2022
Editura: Springer
Locul publicării:Cham, Switzerland
V-ar putea interesa
-
-25%Preț: 480.76 lei637.26 lei -
-20%Preț: 300.65 lei375.81 lei -
Introduction to Python for Science and EngineeringDavid J Pine-20%Preț: 415.46 lei519.32 lei -
Beginning Jenkins Blue Ocean: Create Elegant Pipelines With EaseNikhil Pathania-20%Preț: 151.20 lei189.00 lei -
-23%Preț: 878.91 lei1141.44 lei -
Angular Development with TypescriptYakov Fain-20%Preț: 313.10 lei391.37 lei -
React CookbookCarlos Santana Roldán-20%Preț: 279.90 lei349.87 lei -
Building Serverless Web ApplicationsDiego Zanon-20%Preț: 263.84 lei329.79 lei -
Modern JavaScript Web Development CookbookFederico Kereki-20%Preț: 280.45 lei350.57 lei -
Java 11 and 12 - New FeaturesMala Gupta-20%Preț: 175.12 lei218.90 lei -
-20%Preț: 249.81 lei312.25 lei -
Mastering Ansible - Third EditionJames Freeman-20%Preț: 242.85 lei303.56 lei -
C# 7 and .NETMark J. Price-20%Preț: 286.89 lei358.62 lei -
Learning Python Networking - Second EditionJosé Manuel Ortega-20%Preț: 300.92 lei376.16 lei -
Open Problems in Philosophy of SciencesPierluigi GrazianiPreț: 141.69 lei -
Advanced Selenium Web Accessibility TestingNarayanan Palani-20%Preț: 218.76 lei273.45 lei -
-20%Preț: 943.57 lei1179.46 lei -
-15%Preț: 429.63 lei505.44 lei -
-20%Preț: 324.50 lei405.63 lei -
Software Engineering and Formal MethodsFrank de Boer-20%Preț: 348.60 lei435.74 lei -
Preț: 370.26 lei -
-20%Preț: 681.71 lei852.14 lei -
-20%Preț: 345.72 lei432.16 lei -
Preț: 374.91 lei -
Data Structures through C++ ¿ A quick referenceCh. V Raghavendran-20%Preț: 432.94 lei541.18 lei -
The Book of CPriyanka Bhaskar-20%Preț: 97.34 lei121.67 lei
Cuprins
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.