Software Engineering Books

Book SynopsisThis volume contains the technical papers presented in the workshops, which took place at the 9th European Conference on Service-Oriented and Cloud Computing, ESOCC 2022, held in Wittenberg, Germany, in March 2022.The 4 full papers and 7 short papers included in these proceedings were carefully reviewed and selected from 17 submissions. The workshop proceedings volume of ESOCC 2022 contains contributions from the following workshops and events:First International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022)PhD Symposium of ESOCC 2022ESOCC 2022 Projects TrackESOCC 2022 Industrial TrackTable of ContentsFirst International Workshop on AI for Web Application Infrastructure and Cloud Platform Security (AWACS 2022).- Towards a Metadata Management System for provenance, reproducibility and accountability in Federated Machine Learning.- Towards a Secure Peer-to-Peer Federated Learning Framework.- MIDA: Micro-Flow Independent Detection of DDoS Attacks with CNNs.- ESOCC 2022 PhD Symposium.- Improving the Key Exchange Process of the eXtended Triple Diffie-Hellman Protocol with Blockchain.- Towards Data Governance for Federated Machine Learning.- ESOCC 2022 Projects Track.- QuickFaaS: Providing Portability and Interoperability between FaaS Platforms.- Cloud Computing Continuum research topics and challenges. A multi-source analysis.- Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code.- Urban Heat Island Detection Utilizing Citizen Science.- Using a multi-sourced methodology to identify challenges in Software Technologies research.- ESOCC 2022 Industrial Track.- Rethinking Monitoring for Cloud Environments: BMC Software AIOps Case Study.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.Table of ContentsSystems Theory and Applications.- Transdisciplinary Software Development for Early Crisis Detection.- Uncertainty and Ambiguity: Challenging Layers in Model Construction.- George J. Boole. A Nineteenth Century Man for the Modern Digital Era.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Theory and Applications of Metaheuristic Algorithms.- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing.- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints.- gate Modelling for MultiObjective Continuous Optimisation.- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization.- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance.- Dynamic Fitness Landscape Analysis.- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem.- Multi-day Container Drayage Problem with Active and Passive Vehicles.- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems.- A Mathematical Model and GRASP for a Tourist Trip Design Problem.- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters.- Shapley Value based Variable Interaction Networks for Data Stream Analysis.- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization.- Comparing Shape-Constrained Regression Algorithms for Data Validation.- Shape-constrained Symbolic Regression with NSGA-III.- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments.- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification.- Model-Based System Design, Verification and Simulation.- Modeling Approaches for Cyber Attacks on Energy Infrastructure.- Simulation setup for a closed-loop regulation of neuro-muscular blockade.- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications.- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.- Automata with Bounded Repetition in RE2.- Integrating OSLC Services into Eclipse.- Developing an Application in the Forest for New Tourism Post COVID-19.- GPU-Accelerated Synthesis of Probabilistic Programs.- Static Deadlock Detection in Low-Level C Code.- Applications of Signal Processing Technology.- 3D Ultrasound Fingertip Tracking.- An Artificial Skin from Conductive Rubber.- Neural Network Based Single-Carrier Frequency Domain Equalization.- Smooth Step Detection.- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen.- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed.- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility.- JKU-ITS Automobile for Research on Autonomous Vehicles.- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery.- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data.- Deep Learning Data Association Applied to Multi-Object Tracking Systems.- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment.- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings.- On Smart Mobility and Data Stream Mining.- Smart Vehicle Inspection.- Computer Vision, Machine Learning for Image Analysis and Applications.- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images.- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening.- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration.- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images.- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images.- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images.- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset.- Gait Recognition using 3D View-Transformation Model.- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles.- Drone Detection Using Deep Learning: A Benchmark Study.- Computer and Systems Based Methods and Electronic Technologies in Medicine.- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals.- A Comparison of Covariate Shift Detection Methods on Medical Datasets.- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery.- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts.- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection.- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster.- Designing sightseeing support system in Oku-Nikko using BLE beacon.- Systems in Industrial Robotics, Automation and IoT.- Mixed Reality HMI for Collaborative Robots.- A Digital Twin Demonstrator for Research and Teaching in Universities.- Robot System as a Testbed for AI Optimizations.- An Architecture for Deploying Reinforcement Learning in Industrial Environments.- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers.- Stepwise Sample Generation.- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs.- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems.- Improvements for mlrose Applied to the Traveling Salesperson Problem.- Survey on Radar Odometry.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Crisis Management in a Federation – Cybernetic Lessons from a Pandemic.- Using Archetypes to Teach Systems Thinking in an Engineering Master’s Course.- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.

Read more less

Book SynopsisThis book constitutes revised selected papers from the international workshops, the EDOC Forum and the Demonstration and Doctoral Consortium track, that were held at the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022. The conference took place in Bozen-Bolzano, Italy, during October 3–7, 2022.The conference focuses on the area of enterprise computing, this year with the special emphasis on the theme of designing and operating “Flexible Enterprises”. Workshops within EDOC cover more focused topics and allow for the presentation and discussion of work that is in the earlier development stages. The 18 full and 8 short papers included in this volume were carefully reviewed and selected from 82 submissions. They stem from the following satellite events: – Workshop on Intelligent Digital Architecture, Methods, and Services for Industry 4.0 and Society 5.0 (IDAMS) – 14th Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE) – 17th Workshop on Trends in Enterprise Architecture Research (TEAR) – EDOC Forum – Demonstrations Track – Doctoral Consortium Table of ContentsIDAMS 2022.- Digital Architectures Under Society 5.0: An Enterprise Architecture Perspective.- Towards a Framework for Context Awareness Based on Textual Process Data: Case Study Insights.- Digital Technologies Supporting Digitalization: A Maturity Model to Manage their Usage Risks.- DTMN a Modelling Notation for Digital Twins.- Adaptive Management of Cyber-Physical Workflows by Means of Case-Based Reasoning and Automated Planning.- An Optimization Ontology for Goal Modelling Frameworks.- SOEA4EE 2022.-Visual Description of Digital IT Consulting Services using DITCOS-DN: Proposal and Evaluation of a Graphical Editor.- Implementing a service-oriented rural smartness platform: lessons learned from a technical action research in West Java, Indonesia.- TEAR 2022.- Areas where Enterprise Architecture Contributes to Organizational Goals - A Quantitative Study in the Netherlands.- Achieving Alignment by Means of EA Artifacts.- Contextuality and Temporality of Enterprise Architecture Problems: A Comparative Case Study.- Zooming in on Competences in Ontology-Based Enterprise Architecture Modeling.- A Knowledge-Graph Based Integrated Digital EA Maturity and Performance Framework.- Workplace Topology Model for Assessment of Static and Dynamic Interactions Among Employees.- EDOC Forum.- Optimized Throttling for OAuth-based Authorization Servers.- A Concept and a Multitenant Web Application for Interactive Software Architecture Analysis.- An ontology for software patterns: application to blockchain-based software development.- Learning-aided Adaptation - A Case Study from Wellness Ecosystem.- Demonstrations Track.- The Deployment Model Abstraction Framework.- Dromi: A Tool for Automatically Reporting the Impacts of Sagas implemented in Microservice Architectures on the Business Processes.- Exploring Enterprise Architecture Knowledge Graphs in Archi: The EAKG Toolkit.- Interactive Design of Time-Aware Business Processes.- Prosimos: Discovering and Simulating Business Processes With Differentiated Resources.- Doctoral Consortium.- Data analytics and machine learning for smart decision making in automotive sector.- To model or not to model? Assessing the value of ontology-driven conceptual modeling.- A Proposal for Intent-based Configuration of ICT Components.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. Table of Contents​Keynotes.- Symbolic Computation in Automated Program Reasoning.- The next big thing: from embedded systems to embodied actors.- Intelligent and Dependable Decision-Making Under Uncertainty.- A Coq formalization of Lebesgue Induction Principle and Tonelli’s Theorem.- SAT/SMT.- Railway Scheduling Using Boolean Satisfiability Modulo Simulations.- SMT Sampling via Model-Guided Approximation.- Efficient SMT-based Network Fault Tolerance Verification.- Verification I.- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.- Can we Communicate? Using Dynamic Logic to Verify Team Automata.- The ScalaFix equation solver.- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.- Quantitative Verification.- symQV: Automated Symbolic Verification of Quantum Programs.- PFL: a Probabilistic Logic for Fault Trees.- Energy Buechi Problems.- QMaude: quantitative specification and verification in rewriting logic.- Concurrency and Memory Models.- Minimisation of Spatial Models using Branching Bisimilarity.- Reasoning about Promises in Weak Memory Models with Event Structures.- A fine-grained semantics for arrays and pointers under weak memory models.- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs.- Verification 2.- Verifying At the Level of Java Bytecode.- Abstract Alloy Instances.- Monitoring the Internet Computer.- Word Equations in Synergy with Regular Constraints.- Formal Methods in AI.- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets.- The Octatope Abstract Domain for Verification of Neural Networks.- Program Semantics and Verification Technique for AI-centred Programs.- Safety and Reliability.- Tableaux for Realizability of Safety Specifications.- A Decision Diagram Operation for Reachability.- Formal Modelling of Safety Architecture for Responsibility-AwareAutonomous Vehicle via Event-B Refinement.- A Runtime Environment for Contract Automata.- Industry Day.- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.- Shifting Left for Early Detection of Machine-Learning Bugs.- A Systematic Approach to Automotive Security.- Specification-Guided Critical Scenario Identification for Automated Driving.- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.

Read more less

Book SynopsisThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .Table of ContentsModel Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice.Table of ContentsRequirements Communication and Conceptualization.- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange.- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.- Supporting Shared Understanding in Asynchronous Communication Contexts.- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution.- Understanding the Role of Human-Related Factors in Security Requirements Elicitation.- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements.- Requirement or not, that is the question: A case from the railway industry 97.- Summarization of Elicitation Conversations to Locate Requirements Relevant Information.- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool.- Requirements classi cation using fastText and BETO in Spanish documents.- RE for Artificial Intelligence.- Exploring Requirements for Software that Learns: A Research Preview.- Requirements Engineering for Automotive Perception Systems: an Interview Study.- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications.- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper.- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle.- Crowd RE.- Automatically Classifying Kano Model Factors in App Reviews.- Data-driven Persona Creation, Validation, and Evolution.- Towards a Cross-Country Analysis of Software-related Tweets.- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview.- RE in Practice.- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors.- Feel It, Code It: Emotional Goal Modelling for Inclusive Design.- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.- Eliciting Security Requirements - an Experience Report.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .Table of ContentsRegular Contributions.- ACoRe: Automated Goal-Conflict Resolution.- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software.- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems.- Front-end JavaScript.- Democratizing Quality-Based Machine Learning Development through Extended Feature Models.- Efficient Bounded Exhaustive Input Generation from Program APIs.- Feature-Guided Analysis of Neural Networks.- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.- Model-based Player Experience Testing with Emotion Pattern Verification.- Opportunistic Monitoring of Multithreaded Programs.- Parallel Program Analysis via Range Splitting.- Wehrheim Runtime Enforcement Using Knowledge Bases.- Specification and Validation of Normative Rules for Autonomous Agents.- Towards Log Slicing.- VAMOS: Middleware for Best-Effort Third-Party Monitoring.- Yet Another Model! A Study on Model’s Similarities for Defect and Code Smells.- Competition Contributions.- Software Testing: 5th Comparative Evaluation: Test-Comp 2023.- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.

Read more less

Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23–26, 2023. It focused on the special theme "Information Science and the Connected World".The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice. The 28 full papers presented in this volume were carefully reviewed and selected from a total of 87 submissions. The book also includes 15 Forum papers and 6 Doctoral Consortium papers. The contributions were organized in topical sections named: Requirements; conceptual modeling and ontologies; machine learning and analytics; conceptual modeling and semantic networks; business process design and computing in the continuum; requirements and evaluation; monitoring and recommending; business process analysis and improvement; user interface and experience; forum papers; doctoral consortium papers. Two-page abstracts of the tutorials can be found in the back matter of the volume. Table of ContentsRequirements.- Goal Modelling: Design and Manufacturing in Cloud Migration High-Level Requirements.- Idea Browsing on Digital Participation Platforms: A Mixed-methods Requirements Study.- Conceptual modeling and ontologies.- What Do Users Think about Abstractions of Ontology-Driven Conceptual Models.- On the Semantics of Risk Propagation.- The omnipresent role of technology in social-ecological systems: ontological discussion and updated integrated framework.- Machine Learning and Analytics.- Detection of fishing activities from vessel trajectories.- Framework for Blockchain Data Analysis.- Reinforcement learning for scriptless testing: An empirical investigation of reward functions.- Conceptual modeling and semantic networks.- DBSpark: A system for natural language to SPARQL translation.- An Automated Patterns-based Model-to-Model Mapping and Transformation System for Labeled Property Graphs.- Improving Conceptual Domain Characterization in Ontology Networks.- Business Process Design and Computing in the Continuum.- Digital Technology-Driven Business Process Redesign: A Classification Framework.- Supporting the Implementation of Digital Twins for IoT-Enhanced BPs.- Context-Aware Digital Twins to Support Software Management at the Edge.- Adoption of Virtual Agents in Healthcare E-commerce: a Perceived Value Perspective.- Requirements and Evaluation.- Addressing Trust Issues in Supply-Chain Management Systems through Blockchain Software Patterns.- Evaluating Process Effciency with Data Envelopment Analysis: a Case in the Automotive Industry.- A Model of Qualitative Factors in Forensic-Ready Software Systems.- Monitoring and recommending.- Monitoring object-centric Business Processes: An Empirical Study.- A Peekinto the Working Day: Comparing Techniques for Recording Employee Behaviour.- Context-aware recommender systems: aggregation-based dimensionality reduction.- Business processes analysis and improvement Discovery of Improvement Opportunities in Knock-out Checks of Business Processes.- Persuasive Visual Presentation of Prescriptive Business Processes.- TraVaG: Differentially Private Trace Variant Generation Using GANs.- User interface and experience.- When Dashboard’s Content Becomes a Barrier - Exploring the Effects of Cognitive Overloads on BI Adoption.- The effect of visual information complexity on urban mobility intention and behavior.- Interoperability of Open Science Metadata: what about the reality.- Forum papers. -Online-Notes System: Real-time speech recognition and translation of lectures.- Temporal relation extraction from clinical texts using knowledge graphs.- Domain TILEs: Test Informed Learning with Examples from the Testing Domain.- Using GUI change detection for delta testing.- Enterprise Modeling for Machine Learning: Case-based Analysis and Initial Framework Proposal.- Towards Creating a Secure Framework for Building Mirror World Applications.- Towards a Secure and Privacy compliant Framework for Educational Data Mining.- Internet of Cloud (IoC): The need of raising privacy and security awareness.- Comparative study of unsupervised keyword extraction methods for job recommendation in an industrial environment.- A Meta-model for Digital Business Ecosystem Design.- Students in Team-Based Software Development Projects: An Exploratory Study.- Ontology of Product Provenance for Value Networks.- A Data Value Matrix: Linking FAIR Data with Business Models.- An Information Privacy Competency Model for Online Consumers.- DECENT: A Domain Specific Language to Design Governance Decisions.- Doctoral Consortium papers.- Business User-oriented Recommender System of Data.- Secure infrastructure for cyber-physical ranges.- Guidelines for Developers and Recommendations for Users to Mitigate Phishing Attacks: An Interdisciplinary Research Approach.- Leveraging Exogeneous Data for the Predictive Monitoring of IT Service Management Processes.- Predicting privacy decisions in mobile applications and raising users’ privacy awareness.- Information overload: Coping mechanisms and tools impact.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.Table of ContentsAgile Practices.- Integrating Issue Management Systems of Independently Developed Microservices.- A novel technique to assess Agile systems for stability.- Overcoming Challenges of Virtual Scrum Teams: Lessons Learned Through an Action Research Study.- Waste Self-Reporting for Software Development Productivity Improvement.- A Lean Approach of Managing Technical Debt in Agile Software Projects – A proposal and empirical evaluation.- An Empirical Study about the Instability and Uncertainty of Non-functional Requirements.- Agile in the Large.- Striving for Freedom in a Large-scale Agile Environment with an Entrepreneurial Mindset of a Product Owner.- Sustaining agility: organizational change, factors and theoretical lenses.- The Role of Responsiveness to Change in Large Onboarding Campaigns.- Organisational conflicts in the adoption of continuous software engineering.- Agile Interdisciplinary Product Teams: Overcoming Juridical Hurdles in the Early Phase of Public Sector Datafication.- Short Paper.- Real-life Water-Scrum-Fall: Insights from Large Companies in Czech Republic.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: ​Artificial Intelligence for End-Users; Internet of Things for End-Users; Privacy; Security and Society; Supporting End-User Development.Table of ContentsArtificial Intelligence for End-Users.- Adaptive and Adaptable Systems: Differentiating and Integrating AI and EUD.- End-User Development for Artificial Intelligence: A Systematic Literature Review.- Human-AI Co-Creation: Evaluating the Impact of Large-scale Text-to- Image Generative Models on the Creative Process.- Leveraging Large Language Models for End User Website Generation.- Internet of Things for End-Users.- Defining Trigger-Action Rules via Voice: a Novel Approach for End-User Development in the IoT.- Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules.- Understanding Concepts, Methods and Tools for EndUser Control of Automations in Ecosystems of Smart Objects and Services.- Understanding User Needs in Smart Homes and How to Fulfil Them.- Privacy, Security and Society.- Democratizing Cybersecurity in Smart Environments: Investigating the Mental Models of Novices and Experts.- On the User Perception of Security Risks of Trigger-Action Rules: A User Study.- ConnectivityControl: Providing Smart Home Users with Real Privacy Configuration Options.- Designing for a Sustainable Digital Transformation: The DEA Methodology.- Supporting End-User Development.- Exploring visual languages for prototyping interactive behaviors for Tangible Virtual Reality.- How End Users Develop Point-and-Click Games.- Programming with Minecraft Bedrock Up: Modeling, Coding, and Computational Concepts.- Challenges of Enabling End-Users to Develop Systems with AI.- EUD Strategy in the Education Field for Supporting Teachers in Creating Digital Courses.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).Table of Contents​Industry track.- Blockchain-based Architecture of Immutable Document Repository.- An Overview about Terravis Architecture - Large-Scale Business Process Integration for Swiss Land Register Processes.- Architectural revision of the e-assessment system JACK.- Tools and Demonstrations Track.- ExpressO: From Express.js implementation code to OpenAPI interface descriptions.- Tool-based Attack and Scenario Analysis.- Apache Kafka as a Middleware to Support the PLC-Service Bus Architecture with IEC 61499.- A Toolchain for Simulation Component Specification and Identification.- DAT: A Tool for Data Architecture for IoT.- Doctoral Symposium.- Controlling Automatic Experiment-Driven Systems using Statistics and Machine Learning.- Tutorials.- Trust Management in the Internet of Everything.- Continuous Dependability Assessment of Microservice Systems.- 8th International Workshop on Automotive System/Software Architectures (WASA).- Assessing Security of Internal Vehicle Networks.- Methodical Approach for Centralization Evaluation of Modern Automotive E/E Architectures.- 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA).- MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-Adaptive Systems.- Towards Uncertainty Reduction Tactics for Behavior Adaptation.- Towards characterization of edge-cloud continuum.- 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS).- Towards Online Testing Under Uncertainty using Model-based Reinforcement Learning.- A Maude Formalization of Object Nets.- 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4).- Developing an AI-enabled IIoT platform - Lessons learned from early use case validation.- DevOps in Robotics: Challenges and Practices.- Enabling IoT Connectivity and Interoperability by using Automated Gateways.- 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA).- A Methodological Approach to Verify Architecture Resiliency.- Microservices Security: Bad vs. Good Practices.- 2nd International Workshop on Software Architecture and Machine Learning (SAML).- Multi-metric Approach for Decomposition of Microservice-based Data Science Workflows.- Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.- Generalization of Machine-learning Adaptation in Ensemble-based Self-adaptive Systems.- Finding Reusable Machine Learning Components to Build Programming Language Processing Pipelines.- 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon).- Optimized Machine Learning Input for Evolutionary Source Code to Architecture Mapping.- 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA).- A Taxonomy for Design Decisions in Software Architecture Documentation.- Establishing a Benchmark Dataset for Traceability Link Recovery between Software Architecture Documentation and Models.- 1st International Workshop on Digital Twin Architecture (TwinArch).- Engineering of Trust Analysis-driven Digital Twins for a medical device.- Using I4.0 digital twins in agriculture.

Read more less

Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of ContentsSmart Tourism (SmartTourism 2023).- The concept of smart marinas for the implementation of Croatian nautical tourism.- A Decade Bibliometric Analysis of Decision Making in Tourism and Hospitality.- Smart Touristic Ports - The emergence of sustainable marinas from Smart conversion. What future for Sardinia's ports.- Assessing Management Effectiveness: Manglares El Salado Fauna Production Reserve study case.- Smart and slow tourism in protected natural contexts.- Spatial Energy planning, city and Urban Heritage (Spatial_energy_city 2023).- Conservation and regeneration for a sustainable and circular city.- Problem setting on energy risk and climate change adaptation: topics and tools.- The role of spatial circular planning in urban governance. A set of indicators to evaluate performance of urban regeneration.- Theoretical and Computational Chemistry and its Applications (TCCMA 2023).- Protein tetrahedral networks by invariant shape coordinates.- Guided Clustering for Selecting Representatives Samples in Chemical Databases.- Thermodynamic Analysis of Digestate Pyrolysis Coupled with CO2 Sorption.- Coding Cross Sections of an Electron Charge Transfer Process: analysis of different cuts for the entrance and exit potentials.- Transport Infrastructures for Smart Cities (TISC 2023).- Sustainable retrofitting of urban streets for mitigation of traffic vibration by means of anti-vibrating trenches.- Some remarks on automatic braking system related to pedestrian safety.- Potential Application of Marble and Crushed Mussel Shells By-Products to be Used as Aggregates in Plain Concrete Mixes.- Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.- THE EFFECT OF SUBGRADE CAVITY ON PAVEMENT. A CASE STUDY.- Motorway performance in Europe and Greece.- Execution Time Experiments to Solve Capacitated Vehicle Routing Problem.- Analysis of the impact on the safety and sustainability of vehicular traffic in the landside area of Olbia - Costa Smeralda- airport.- INTERNATIONAL DESIGN PRACTICES FOR ROUNDABOUTS.- Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2023).- Decision support system for the management of interventions on buildings in the historic centre of Florence: from conservation to regeneration.- Knowledge as a prodromal action for urban regeneration and sustainable development: the case study of Munici-pality of Fondi.- Metabolic Approaches to Regeneration of the Historic Mondeggi Villa Estate.- Environmental and Landscape Constraints and Legislative Provisions in Territorial/Urban Planning and Building Constructions: impacts in urban regeneration.- ​Urban Space Accessibility and Mobilities (USAM 2023).- Accessibility and Polarities of Pedestrian Network in University Campuses. A Space Syntax Application.- A data-driven approach for a city-university mobility plan: the case of the University of Pisa.- Developing a parsimonious classification of traffic analysis zones using a large number of accessibility indicators and transportation level of service.- Research Trends in Tourism Participation: A Bibliometric Analysis using the Scopus Database.- Describing and Understanding the Morphology of the Urban Landscape. The Case Study of Cagliari, Italy.- The Emergence of Robotics in Tourism and Hospitality: A Bibliometric Analysis from 2017 to 2023.- Sustainability crossing the city: developing a sustainable infrastructures system for Genoa urban center.- Virtual reality and augmented Reality and Applications (VRA 2023).- An exploration towards sustainable metaverse systems for e-learning by student designers: A meta-analysis.- Design and Develop of a Smart City Digital Twin with 3D Representation and User Interface for What-If Analysis.- Numerical simulations of 1461 and 1762 San Pio delle Camere (L'Aquila) earthquakes using 3D physic-based model.- Graphical visualization of phase surface of the Sprott type A system immersed in 4D.- Open metaverse with open software.- Aerial and terrestrial LiDAR: comparisons and accuracies.- Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2023).- Exploring the Signature of the Apollo Medicane in the Central Mediterranean Sea through Multi-Source Data Analysis: Satellites, Radar HF, Marine Buoys, and Seismic Data in October 2021.- (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.- Transportation infrastructures exposed to seismic risk: evaluation of social costs for resilience design.- LOW-COST GEOMATICS SURVEYS FOR EMERGENCY INTERVENTIONS ON CULTURAL HERITAGE. THE CASE OF HISTORIC WALLS IN CAGLIARI.- AGEO: Advanced Citizens' Observatory for Atlantic Geohazard Risk Management.- Multidisciplinary research at the Castle of Santapau (Licodia Eubea, Italy): new data for the research, protection and enhancement of the archaeological site.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Table of ContentsCertified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.- An Isabelle/HOL Formalization of the SCL(FOL) Calculus.- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.- Formal Reasoning about Influence in Natural Sciences Experiments.- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).- SAT-Based Subsumption Resolution.- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper).- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.- Proving Termination of C Programs with Lists.- Reasoning about Regular Properties: A Comparative Study.- Program Synthesis in Saturation.- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.- Verification of NP-hardness Reduction Functions for Exact Lattice Problems.- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.- Left-Linear Completion with AC Axioms.- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+.- Theorem Proving in Dependently-Typed Higher-Order Logic.- Towards Fast Nominal Anti-Unification of Letrec-Expressions.- Confluence Criteria for Logically Constrained Rewrite Systems.- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper).- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness.- Decidability of difference logic over the reals with uninterpreted unary predicates.- Incremental Rewriting Modulo SMT.- Iscalc: an Interactive Symbolic Computation Framework (System Description).

Read more less

Book SynopsisThe main aim of this book is to introduce a group of models and modelling of information and knowledge comprehensibly. Such models and the processes for how to create them help to improve the skills to analyse and structure thoughts and ideas, to become more precise, to gain a deeper understanding of the matter being modelled, and to assist with specific tasks where modelling helps, such as reading comprehension and summarisation of text. The book draws ideas and transferrable approaches from the plethora of types of models and the methods, techniques, tools, procedures, and methodologies to create them in computer science. This book covers five principal declarative modelling approaches to model information and knowledge for different, yet related, purposes. It starts with entry-level mind mapping, to proceed to biological models and diagrams, onward to conceptual data models in software development, and from there to ontologies in artificial intelligence and all the way to ontology in philosophy. Each successive chapter about a type of model solves limitations of the preceding one and turns up the analytical skills a notch. These what-and-how for each type of model is followed by an integrative chapter that ties them together, comparing their strengths and key characteristics, ethics in modelling, and how to design a modelling language. In so doing, we’ll address key questions such as: what type of models are there? How do you build one? What can you do with a model? Which type of model is best for what purpose? Why do all that modelling? The intended audience for this book is professionals, students, and academics in disciplines where systematic information modelling and knowledge representation is much less common than in computing, such as in commerce, biology, law, and humanities. And if a computer science student or a software developer needs a quick refresher on conceptual data models or a short solid overview of ontologies, then this book will serve them well.Trade Review“The book describes – in excellent style and appropriate framing and leveling - five principal declarative modelling approaches to model information and knowledge for different, yet related, purposes. … The book is rich on good advice going down a couple of levels, also on the complicated matters. You will learn about how-to as well as why.” (Thomas Frisendal, linkedin.com, January 10, 2024)Table of Contents1. Introduction: Why Modelling?.- 2. Mind Maps.- 3. Models and Diagrams in Biology.- 4. Conceptual Data Models.- 5. Ontologies and Similar Artefacts.- 6. Ontology—With a Capital O.- 7. Fit For Purpose.- 8. Go Forth and Model.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.Table of ContentsQuality in Software Architecture.- Architecture Modeling and Design.- Artificial Intelligence and Autonomous Systems.- Software Architecture Implementation and Deployment.- Software Architecture Documentation.

Read more less

Book SynopsisThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.Table of ContentsMain Lectures.- PhD Workshop.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.Table of Contents​Analysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.

Read more less

Book SynopsisThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.Table of ContentsRange-Restricted and Horn Interpolation through Clausal Tableaux.- Non-Classical Logics in Satisfiability Modulo Theories.- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.- Non-distributive description logic.- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized.- Some Analytic Systems of Rules.- A cut-free, sound and complete Russellian theory of definite descriptions.- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.- Lemmas: Generation, Selection, Application.- Machine-Learned Premise Selection for Lean.- gym-saturation: Gymnasium environments for saturation provers (System description).- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points.- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic.- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata.- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.- On intuitionistic diamonds (and lack thereof).- NP Complexity for Combinations of Non-Normal Modal Logics.- Resolution-based Calculi for Non-Normal Modal Logics.- Canonicity of Proofs in Constructive Modal Logic.- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.- The MaxSAT problem in the real-valued MV-algebra.- The Logic of Separation Logic: Models and Proofs.- Testing the Satisfiability of Formulas in Separation Logic with Permissions.- Nested Sequents for Quantified Modal Logics.- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of computational processes by combining mathematical, algorithmic, and computational techniques.Table of ContentsInvited Papers.- Randomness quality and trade-offs for CA random string generators.- Regular Papers.- Complexity of Reachability Problems in Neural Networks.- Weakly synchronous systems with three machines are Turing powerful.- On the Identity and Group Problems for Complex Heisenberg Matrices.- Reachability analysis of a class of hybrid gene regulatory networks.- Quantitative Reachability Stackelberg-Pareto Synthesis.- Multi-Weighted Reachability Games.- On the Complexity of Robust Eventual Inequality Testing for C-Finite Functions.- Adaptive Directions for Bernstein-based Polynomial Set Evolution.- Introducing Divergence for Infinite Probabilistic Models.- A Framework for the Competitive Analysis of Model Predictive Controllers.- Matching Patterns with Variables Under Simon’s Congruence.- HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification.- Generalized ARRIVAL Problem for Rotor Walks in Path Multigraphs.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. Table of ContentsTemporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.

Read more less

Book SynopsisThis book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.Table of ContentsArtificial Intelligence.- Data Analysis.- Decision Systems.- Enterprise Information Systems Applications.- Geoinformatics.- Health Care Information Systems.- Interdisciplinary Information Studies.- Learning Management Systems.- Virtual and Augmented Reality.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS – 4th International Workshop on Conceptual Modeling for Life Sciences; CMOMM4FAIR – Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data; EmpER – 6th International Workshop on Empirical Methods in Conceptual Modeling; JUSMOD – Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling; OntoCom – 9th International Workshop on Ontologies and Conceptual Modeling; QUAMES – 4th International Workshop on Quality and Measurement of Model-Driven Software Development; SmartFood – First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems. Table of Contents​CMLS: An Ontology for Breast Cancer Screening.- Integrating Nuclear Medicine and Radiopharmacy Data: A Conceptual Model for Precision Medicine and Enhanced Patient Care.- Comprehensive Representation of Variation Interpretation Data via Conceptual Modeling.- Enhancing Precision Medicine: An Automatic Pipeline Approach for Exploring Genetic Variant-Disease Literature.- CMOMM4FAIR: euFAIR: A Digital Tool for Assessing the FAIR Principles.- EmpER: Empirical Exploration of Open-Source Issues for Predicting Privacy Compliance.- Human-Centred Conceptual Modelling for Re-Designing Urban Planning.- Using Knowledge Graphs to Generate SQL Queries from Textual Specifications.- A Systematic Approach to Generate TOGAF Artifacts Founded on Multiple Data Sources and Ontology.- Bridging the Gap: Conceptual Modeling and Machine Learning for Web Portals.- JUSMOD: New-Generation Templates Facilitating the Shift from Documents to Data in the Italian Judiciary.- Supervised Learning, Explanation and Interpretation from Pretrial Detention Decisions by Italian and Brazilian Supreme Courts.- Few-Shot Legal Text Segmentation via Rewiring Conditional Random Fields: A Preliminary Study.- Identification and Visualization of Legal Definitions and Legal Term Relations.- Comparative Analysis of Disinformation Regulations: A Preliminary Analysis.- Privacy-Preserving Data Integration for Digital Justice.- Public Procurement Analysis with Process Discovery Techniques and Event Log Enrichment.- Formalising Legal Knowledge of Sri Lankan Civil Appellate High Court Domain from Ontological Perspective.- OntoCom: Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.- Misalignments of Social and Numerical Identity – An Ontological Analysis.- Using an Ontology for Defining Semantics of Fractal Enterprise Model.- One Model to Rule Them All: A Demonstration of Ontology-Driven Minimum Viable Product Development for a Local Tourism Platform.- Enhancing Requirement-Information Mapping for Sustainable Buildings: Introducing the SFIR Ontology.- On the Use of ChatGPT for Classifying Domain Terms According to Upper Ontologies.- QUAMES: Exploring Understandability in Socio-Technical Models for Data Protection Analysis: Results from a Focus Group.- FlowTGE: Automating Functional Testing of Executable Business Process Models Based on BPMN.- An Approach Aligned with Model Driven Development to Evaluate the Quality of Explainable Artificial Intelligence.- SmartFood: Unveiling major Knowledge Organization Systems’ artifacts for Agriculture with network graphs.- Design Implications Towards Human-Centric Semantic Recommenders for Sustainable Food Consumption.- CoffeeWKG: A Weather Knowledge Graph for Coffee Regions in Colombia.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Table of ContentsRefinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches. The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.Table of Contents​Invited Paper.- Stochastic LLMs do not Understand Language: Towards Symbolic, Explainable and Ontologically Based LLMs.- The Conceptual Modeling Task.- A Survey of Ethical Reasoning Methods, their Metamodels, and a Theory on their Application to Conceptual Modelling.- Use of Competency Questions in Ontology Engineering: a Survey.- How Inclusive is Conceptual Modeling? A Systematic Review of Literature and Tools for Disability-aware Conceptual Modeling.- The Meta Level.- A Terminological and Semiotic Review of the Digital Object Concept.- The Ontology for Conceptual Characterization of Ontologies.- ProMoTe: A Data Product Model Template for Industry.- Model-Based Analysis and Implementation.- Using a Conceptual Model in Plug-and-play SQL.- Sanity-Checking Multiple Levels of Classification – A Formal Approach with a ConceptBase Implementation.- A Safari for Deviating GoF Pattern Definitions and Examples on the Web.- Process Mining and Abstraction.- Object-Centric Alignments.- Transforming Event Knowledge Graph to Object-Centric Event Logs: A Comparative Study for Multi-dimensional Process Analysis.- Ontology-Based Abstraction of Bot Models in Robotic Process Automation.- Modeling Events and Processes.- Shards of Knowledge – Modeling Attributions for Event-Centric Knowledge Graphs.- A Characterisation of Ambiguity in BPM.- Dealing with the evolution of event-based choreographies of BPMN fragments: definition and proof of concept.- Conceptual Modeling in Context.- Safety Analysis of Human Robot Collaborations with GRL Goal Models.- A Domain-Specific Visual Modeling Language for Augmented Reality Applications Using WebXR.- An Ontology for Context Modeling in Smart Spaces.- Applications of Conceptual Modeling.- A Reference Meta-Model to Understand DNA Variant Interpretation Guidelines.- A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-free UAV Routing for Beyond-the-Visual-Line-of-Sight Flights.- QuantumShare: Towards An Ontology for Bridging the Quantum Divide.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.Table of Contents​Argumentation and Logic Programming.- ABALearn: An automated logic-based learning system for ABA frameworks.- Deriving Dependency Graphs from Abstract Argumentation Frameworks.- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming.- Mining contrast sequential patterns with ASP.- Ontologies.- An ontological modelling of reason-based preferences.- A Defeasible Description Logic for Abduction.- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry.- Planning.- A Structure-Sensitive Translation from Hybrid to Numeric Planning.- Intrinsically Motivated High-Level Planning for Agent Exploration.- Natural Language Processing.- Mining Argument Components in Essays at Different Levels.- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations.- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian.- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements.- Machine Learning.- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector.- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning.- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks.- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups.- A multi-label classification study for the prediction of long-covid syndrome.- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL.- Robotics and Perception.- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition.- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements.- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study.- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion.- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario.- Hybrid AI.- Inference in Probabilistic Answer Set Programming under the Credal Semantics.- Efficient Modal Decision Trees.- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures.- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language.- Applications of AI.- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings.- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries.- Towards Automatic Digitalization of Railway Engineering Schematics.- Election Manipulation in Social Networks with Single-Peaked Agents.- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study.

Read more less

Book SynopsisThis conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and ApplicationsTable of ContentsArtificial intelligence. - Knowledge representation and reasoning.- Planning and scheduling.- Control methods.- Philosophical/theoretical foundations of artificial intelligence.- Computer vision.- Machine learning.- Symbolic and algebraic manipulation.- Simulation theory.- Robots.- Evolutionary computation.- Intelligent systems.- Natural language processing.- Bioinformatics.- Medical applications using AI.

Read more less

Book SynopsisThis LNCS conference volume constitutes the proceedings of the 20th International Symposium, ARC 2024, in Aveiro, Portugal, in March 2024. The conference focuses on the application and development of reconfigurable computing techniques, fault-tolerance, data, and graph processing acceleration to computer security.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the international workshops associated with the 36th International Conference on Advanced Information Systems Engineering, CAiSE 2024, which was held in Limassol, Cyprus, during June 2024. The total of 25 full and 5 short papers included in these proceedings were carefully reviewed and selected from 60 submissions. They stem from the following workshops: International Workshop on Blockchain for Information Systems (BC4IS24)and Blockchain for Trusted Data Sharing (B4TDS); 2nd International Workshop on Hybrid Artificial Intelligence and EnterpriseModelling for Intelligent Information Systems (HybridAIMS); 2nd International Workshop on Knowledge Graphs for Semantics-driven Systems Engineering (KG4SDSE); 16th International Workshop on Enterprise & Organizational Modeling andSimulation (EOMAS); International Workshop on Digital Transformation with Business ProcessMining (DigPro).

Read more less

Book SynopsisThis open access book provides a basic introduction to feature modelling and analysis as well as to the integration of AI methods with feature modelling.

Read more less

Book Synopsis

Read more less

Book SynopsisIntroduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the making.- Formal approaches for modeling and analysis of business process collaborations.- An abstract account of  up-to techniques for inductive behavioural relations.- Language equivalence from Nondeterministic to Weighted Automata --- and back.- A Process Algebraic View of In/Out Prisoners.- Towards a Formal Testing Theory for Quantum  Processes.- Testing Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops.- Towards a probabilistic programming approach to analyse collective adaptive systems.- Can AI Help with the Formalization of Railway Cybersecurity Requirements?.- White-box validation of collective adaptive systems by statistical model checking and process mining.- Analysing collective adaptive systems by proving theorems.- Engineering Ethical-aware Collective Adaptive Systems.-

Read more less

Book SynopsisAll About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.

Read more less

Book Synopsis1. The Software Problem.- 2. Software Processes.- 3. Software Requirements Analysis and Specification.- 4. Planning a Software Project.- 5. Software Architecture.- 6. Design.- 7. Coding and Unit Testing.- 8. Testing.

Read more less

Book SynopsisThe ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.

Read more less

Book Synopsis

Read more less

Book Synopsis

Read more less

Book Synopsis.- Invited Talks..- Formal Verification of Cyber-Physical Systems using Domain-specific Abstractions..- Paraconsistency for the Working Software Engineer..- Picturing Quantum Software..- Contributed Papers..- User-Guided Verification of Security Protocols via Sound Animation..- A Policy Framework for Regulating External Calls in Smart Contracts..- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability..- SmartML: Towards a Modeling Language for Smart Contracts..- Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems..- Validating Traces of Distributed Programs Against TLA+ Specifications..- Partially-Observable Security Games for Attack-Defence Analysis in Software Systems..- Secure Smart Contracts with Isabelle/Solidity..- Deductive verification of SYCL in VerCors..- Minuska: Towards a Formally Verified Programming Language Framework..- Hierarchical Learning of Generative Automaton Models from Sequential Data..- Composing Run-time Variability Models..- Model-Checking the Implementation of Consent..- GrammarForge: Learning Program Input Grammars for Fuzz Testing..- Verified Configuration and Deployment of Layered Attestation Managers..- Right or Wrong Understanding How Users Write Software Models in Alloy..- An Operational Semantics for Yul..- Execution-time opacity control for timed automata..- Unlocking the Power of Environment Assumptions for Unit Proofs..- Towards Quantum Multiparty Session Types..- Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems..- Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards..- Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.

Read more less

Book SynopsisFundamentals of Software Engineering.- Professional Responsibility in Software Engineering.- Ethical Software Engineering.- Ethical and Legal Responsibilities of Project Managers.- Overview of Software Project Management.- Software Project Planning.- Risk Management.- Quality Management in Software Projects.- Project Monitoring and Control.- Outsourcing - Supplier Selection and Management.- Project Closure.- Configuration Management.- Project Management in the Agile World.- Project Management Metrics.- Tools for Project Management.- Continuous Improvement of Project Management.- Epilogue.

Read more less