Software Engineering Books

Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022. The 14 full papers and 2 short papers were carefully reviewed and selected from 46 submissions. The papers are categorized into the following topical sub-headings: Invited Papers; Cooperative and Relational Verification; B Method; Time; Probability; learning and Synthesis; Security; Stats Analysis and Testing; PhD Symposium Presentations.

Read more less

Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.

Read more less

Book SynopsisThis book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online. Papers on modern cybernetics and informatics in the context of networks and systems are an important component of current research issues. This volume contains an overview of recent method, algorithms and designs.

Read more less

Book SynopsisThis edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 12 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.Table of ContentsExamining the Factors that Influence Customers’ Intention to Use Smartwatches in Malaysia Using UTAUT2 Model.- Generating Adversarial Robust Defensive CAPTCHA (GARD-CAPTCHA) in Convolutional Neural Networks.- A Deep Learning Approach for Lantana Camara Weed Detection and Localization in the Natural Environment.- Modeling Concretizations in Software Design.- A Practical Style Guide and Templates Repository for Writing Effective Use Cases.- Label Correction of Sound Data with Label Noise Using Self Organizing Map.- Evaluation Method of Enterprise Cybersecurity.- A Multi-model Multi-task Learning System for Hurricane Genesis Prediction.- Development of Autonomous Driving Adaptive Simulation System Using Deep Learning Process Model.- An OCL Implementation for Model-Driven Engineering of C++.- Improving Students’ Readiness Toward the Labor Market Through Customized Learning.- Assessing Software Fault Risk with Machine Learning.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022. The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.Table of Contentsrecommender systems based on web technology.- social web applications.- web applications modelling and engineering.- web big data and web data analytics.- web mining and knowledge extraction.- web security and privacy.- web user interfaces.- web mining and knowledge extraction.- web Big Data and Web data analytics.- Mobile Web applications.- web of Things applications.- social Web applications.- web crowdsourcing and human computation.- semantic web.- web ontologies, and Linked Open Data applications.- quality and accessibility aspects of Web applications.- web composition and mashups.- web user interfaces.- web security and privacy.- web programming.- web services, computing, and standards.

Read more less

Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.Table of ContentsSoftware Engineering.- Theoretical Computer Science in industrial applications.- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

Read more less

Book SynopsisThis open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.Table of ContentsVapor condensation under electric field: A study using molecular dynamics simulation.- High performance parallel LOBPCG method for large Hamiltonian derived from Hubbard model on multi-GPU systems.- The effect of wing mass and wing elevation motion during insect forward flight.- On the Difference between Shared Memory and Shared Address Space in HPC Communication.- Evaluating GPU Programming Models for the LUMI Supercomputer.- Memory hierarchy.- HPC cloud platform, container image configuration workflow.- scheduling.- .Evaluating methods of transferring large datasets.- Service Function Chaining Design & Implementation Using Network Service Mesh in Kubernetes.

Read more less

Book SynopsisThis book constitutes revised selected papers of the Third International Conference on Computing Science, Communication and Security, COMS2 2022, held in Gandhinagar, India, in February 2022. Due to the COVID-19 pandemic the conference was held virtually. The 22 full papers were thoroughly reveiwed and selected from 143 submissions. The papers present ideas, and research results on the aspects of computing science, network communication, and security.Table of ContentsDevelopment of Smart Sensor for IoT Based Environmental Data Analysis Through Edge Computing.- Application of Forensic Audio-Video Steganography Technique to Improve Security, Robustness, and Authentication of Secret Data.- An Efficient Cluster Based Energy Routing Protocol (E-CBERP) for Wireless Body Area Networks Using Soft Computing Technique.- Ortho Image Mosaicing and Object Detection of UAV Data.- The Novel Approach of Down-Link Spectral Efficiency Enhancement using Massive MIMO in Correlated Rician Fading Scenario.- Blocking Estimation using Optimal Guard Channel Policy in GSM 900 System.- Systematic Review on Various Techniques of Android Malware Detection.- Adaptive Rider Grey Wolf Optimization enabled Pilot-design for Channel Estimation in Cognitive Radio.- To Identify Malwares using Machine Learning Algorithms.- Motor Imagery EEG Signal Classification using Deep Neural Networks.- Extending WSN life-time using Energy Efficient based on K-means clustering method.- One-to-One Matching for Cooperative Resource Sharing and Communication in CRNs.- Sandbox Environment for Real Time Malware Analysis of IoT Devices.- Machine Learning Based DDOS Attack Detection in Design of 5G Smart Healthcare Networks.- Traffic Flow Prediction using Deep Learning Techniques.- Meta Heuristic Backtracking Algorithm for Virtual Machine Placement in Cloud Computing Migration.- Achieving Energy Efficiency in Life-logging Applications of Internet of Things using Data Compression through incorporation of Machine Learning & Edge-Cloud Architecture.- Cab Fare Prediction Using Machine Learning.- Device to Device Communication Over 5G.- Energy efficient Allocation of Resources in NOMA Based (MU-HCRN) with Perfect Spectrum Sensing.- CV based person detection system for smart transportation.- A Performance of Low-Cost NVIDIA Jetson Nano Embedded System in the Real-Time Siamese Single Object Tracking.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.Table of ContentsLinked Data as Medium for Stigmergy-based Optimization and Coordination.- Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar Reuse.- A Methodology for Organizational Data Science towards Evidence-based Process Improvement.- Feedback Generation for Automatic User Interface Design Evaluation.- Tales from the Code #2: A Detailed Assessment of Code Refactoring's Impact on Energy Consumption.- Towards Power Consumption Optimization for Embedded Systems from a Model-driven Software Development Perspective.- Materializing Microservice-oriented Architecture from Monolithic Object-oriented Source Code.- A Personalized Code Formatter: Detection & Fixing.- Software Framework of Context-aware Reconfigurable Secure Smart Grids.- A Novel Neural Network-based Malware Severity Classification System.

Read more less

Book SynopsisThis open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.Table of Contents- 1. Concept and Principles of Measurement. - 2. Metrics of Sustainability and Energy Efficiency of Software Products and Process. - 3. System Energy Consumption Measurement. - 4. GQM and Recommender System for Relevant Metrics. - 5. Metrics Representation and Dashboards. - 6. Architecture of AISEMA System.

Read more less

Book SynopsisThis book discusses an integration of machine learning with metaheuristic techniques that provide more robust and efficient ways to address traditional optimization problems. Modern metaheuristic techniques, along with their main characteristics and recent applications in artificial intelligence, software engineering, data mining, planning and scheduling, logistics and supply chains, are discussed in this book and help global leaders in fast decision making by providing quality solutions to important problems in business, engineering, economics and science. Novel ways are also discovered to attack unsolved problems in software testing and machine learning. The discussion on foundations of optimization and algorithms leads beginners to apply current approaches to optimization problems. The discussed metaheuristic algorithms include genetic algorithms, simulated annealing, ant algorithms, bee algorithms and particle swarm optimization. New developments on metaheuristics attract researchers and practitioners to apply hybrid metaheuristics in real scenarios.Table of ContentsPerformance analysis of Heuristic optimization algorithms for Transportation problem.- Source Code Features Based Branch Coverage Prediction using Ensemble Technique.- Implicit Methods of Multi-Factor Authentication.- Comparative Analysis of different Classifiers Using Machine Learning Algorithm for Diabetes Mellitus.- Survey on Machine Learning Techniques for Software Reliability Accuracy Prediction.- Classification of Pest in Tomato Plants using CNN.- Deep Neural Network Approach For Identifying Good Answers in Community Platforms.- Time Series Analysis of SAR-Cov-2 virus in India using Facebook’s Prophet.- Model-Based Smoke Testing Approach of Service Oriented Architecture (SOA).- Role of Hybrid Evolutionary Approaches for Feature Selection in Classification: A Review.- Evaluation of Deep Learning Models for Detecting Breast Cancer using Mammograms.- Evaluation of Crop Yield Prediction using arsenal and Ensemble Machine learning algorithms.- Notification Based Multichannel MAC (NM-MAC) Protocol for Wireless Body Area Network.- A multi Brain Tumor Classification using a Deep Reinforcement Learning Model.- A Brief Analysis on Security in Healthcare Data using Blockchain.- A Review on Test Case Selection, Prioritization and Minimization in Regression Testing.- Artificial Intelligence Advancement in Pandemic Era.- Predictive technique for Identification of Diabetes using Machine Learning.- Prognosis of Prostate Cancer Using Machine Learning.- Sign language Detection Using Tensorflow Object Detection.- Automated Test Case Prioritization using Machine Learning.- A New Approach To Solve Linear Fuzzy Stochastic Differential Equation.- An Improved Software Reliability Prediction Model by Using Feature Selection and Extreme Learning Machine.- Signal Processing Approaches for Encoded Protein Sequences in Gynaecological Cancer Hotspot Prediction: A Review.- DepNet: Deep Neural Network based model for Estimating the Crowd Count.- Dynamic Stability enhancement of Power system by Sailfish Algorithm tuned fractional SSSC control action.- Application of Machine Learning Model Based Techniques for Prediction of Heart Diseases.- Software Effort and Duration Estimation using SVM and Logistic Regression.- A framework for ranking cloud services based on an integrated BWM-Entropy-TOPSIS Method.- An Efficient and Delay-Aware Path Construction Approach Using Mobile Sink in Wireless Sensor Network.- Application of Different Control Techniques of multi-area Power Systems.- Analysis of An Ensemble Model For Network Intrusion Detection.- D2D Resource Allocation for Joint Power Control in Heterogeneous Cellular Networks.- Prediction of Covid-19 Cases in Kerala based on meteorological parameters using BiLSTM Technique.

Read more less

Book SynopsisThis book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.Table of Contents​Invited Papers.- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.- Rewriting Privacy.- Invited Tutorials and Experience Report.- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.- An Overview of the Maude Strategy Language and its Applications.- Teaching Formal Methods to Undergraduate Students Using Maude.- Regular Papers.- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic.- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.- An Efficient Canonical Narrowing Implementation for Protocol Analysis.- Checking Sufficient Completeness by Inductive Theorem Proving.- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.- Automating Safety Proofs about Cyber-Physical Systems using Rewriting Modulo SMT.- Executable Semantics and Type Checking for Session-Based Concurrency in Maude.- Tool Papers.- Parallel Maude-NPA for Cryptographic Protocol Analysis.- Maude as a Library: An Efficient All-Purpose Programming Interface.

Read more less

Book SynopsisThis book constitutes the proceedings of the 33rd International Conference on Parallel and Distributed Computing, Euro-Par 2022, held in GLasgow, UK, in August 2022.The 25 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The conference Euro-Par 2022 covers all aspects of parallel and distributed computing, ranging from theory to practice, scaling from the smallest to the largest parallel and distributed systems, from fundamental computational problems and models to full-fledged applications, from architecture and interface design and implementation to tools, infrastructures and applications. Table of ContentsCompilers, Tools and Environments.- Performance and Power Modeling, Prediction and Evaluation.- Scheduling and Load Balancing.- Data Management, Analytics and Machine Learning.- Cluster and Cloud Computing.- Theory and Algorithms for Parallel and Distributed Processing.- Parallel and Distributed Programming, Interfaces, and Languages.- Multicore and Manycore Parallelism.- Parallel Numerical Methods and Applications.

Read more less

Book SynopsisThis book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022. The 13 full included in the volume were carefully reviewed and selected from 32 submissions. They are organized in the following topical sections: leading signal, image and video processing and machine learning in custom embedded, edge and cloud computing architectures and systems.Table of ContentsSoftware and Architecture for Telecommunication Systems.- Towards Lightweight Deep-Learning Techniques.- Design Automation and Optimization Techniques for Embedded Hardware and Software.- Optimized Hardware and Software Implementations for Image Processing and Health Applications.

Read more less

Book SynopsisThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.Table of ContentsEvolutionary Computing and Learning. Neural Networks.- Pattern Recognition.- Image Processing.- Information Security.- Biomedical Informatics Theory and Methods.- Biomedical Data Modeling and Mining.- Intelligent Computing in Computational Biology.- Computational Genomics and Biomarker Discovery.- Intelligent Computing in Drug Design.- Theoretical Computational Intelligence and Applications.- Fuzzy Theory and Algorithms.- Machine Learning and Data Mining.- Intelligent Computing in Computer Vision.- Intelligent Control and Automation.- Intelligent Data Analysis and Prediction.- Intelligent Computing and Optimization.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, held in Vienna, Austria during August 2022.The 23 full papers presented were carefully reviewed and selected from 45 submissions. The papers are covering a wide range from integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.Table of ContentsExplain to Not Forget: Defending Catastrophic Forgetting with XAI.- Approximation of SHAP values for Randomized Tree Ensembles.- Color shadows (part I): exploratory usability evaluation of activation maps in radiological machine learning.- Effects of Fairness and Explanation on Trust in Ethical AI.- Towards Refined Classifications driven by SHAP explanations.- Global Intepretable Calibration Index, a New Metric to Estimate Machine Learning Models' Calibration.- The ROC Diagonal is not Layperson’s Chance: a New Baseline Shows the Useful Area.- Debiasing MDI Feature Importance and SHAP values in Tree Ensembles.- The Influence of User Diversity on Motives and Barriers when Using Health Apps - A Conjoint Investigation of the Intention-Behavior Gap.- Identifying Fraud Rings Using Domain Aware Weighted Community Detection.- Capabilities, limitations and challenges of style transfer with CycleGANs: a study on automatic ring design generation.- Semantic Causal Abstraction for Event Prediction.- An Evaluation Study of Intrinsic Motivation Techniques applied to Reinforcement Learning over Hard Exploration Environments.- Towards Generating Financial Reports From Tabular Data Using Transformers.- Evaluating the performance of SOBEK text mining keyword extraction algorithm.- Classification of Screenshot Image Captured in Online Meeting System.- A survey on the application of virtual reality in event-related potential research.- Visualizing Large Collections of URLs Using the Hilbert Curve.- How to Reduce the Time Necessary for Evaluation of Tree-based Models.- An Empirical Analysis of and Guidelines for Synthetic-Data-based Anomaly Detection.- SECI Model in Data-Based Procedure for the Assessment of the Frailty State in Diabetic Patients.- Comparing machine learning correlations to domain experts’ causal knowledge: Employee turnover use case.- Machine learning and knowledge extraction to support work safety for smart forest operations.

Read more less

Book SynopsisThis book constitutes the refereed conference proceedings of the 9th IFIP WG 13.2 International Conference on Human-Centered Software Engineering, HCSE 2022, which was held in Eindhoven, The Netherlands, during August 2022. The 11 full papers presented together with 2 poster and demo papers were carefully reviewed and selected from 25 submissions. The papers focus on the interdependencies between user interface properties and contribute to the development of theories, methods, tools and approaches for dealing with multiple properties that should be taken into account when developing interactive systems. They are organized in the following topical sections: user-centred design approaches; model-based and model-driven approaches; software development strategies; and posters and demos.

Read more less

Book SynopsisThis book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.Table of ContentsInvited Keynote Talks.- Reinforcement Learning with Guarantees That Hold for Ever.- Supporting Railway Innovations with Formal Modelling and Verification.- Certification.- Formal Monotony Analysis of Neural Networks with Mixed Inputs: An asset for certification.- Generating Domain-specific Interactive Validation Documents.- Deductive Verification of Smart Contracts with Dafny.- Industrial use cases.- Towards Reusable Formal Models for Custom Real-time Operating Systems.- Formal verification of an industrial UML-like model using mCRL2.- Chemical Case Studies in KeYmaera X.- Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining.- Testing and monitoring.- Test Suite Augmentation for Recon gurable PLC Software in the Internet of Production.- Monitoring of Spatio-Temporal Properties with nonlinear SAT solvers.- Model-Based Testing of Internet of Things Protocols.- Methodology.- Formally Verifying Decompositions of Stochastic Specifications.- Verification of Behavior Trees using Linear Constrained Horn Clauses.- A Multi-level Methodology for Behavioral Comparison of SoftwareIntensive Systems.

Read more less

Book SynopsisThis book constitutes the proceedings of the 22st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2022 in Samos, Greece. The 21 full papers presented in this volume were carefully reviewed and selected from 44 submissions. The papers are organized in topics as follows: High level synthesis; memory systems; processor architecture; embedded software systems and beyond; deep learning optimization; extra-functional property estimation; innovative architectures and tools for security; european research projects on digital systems, services, and platforms.Table of ContentsHigh Level Synthesis.- High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP 1 H. H. .- Implementing Synthetic Aperture Radar Backprojection in Chisel – A Field Report.- EasyHBM: Simple and Fast HBM Access for FPGAs using High-Level Synthesis.- Memory Systems.- TREAM: A Tool for Evaluating Error Resilience of Tree-based Models using Approximate Memory.- Split’n’Cover: ISO 26262 Hardware Safety Analysis with SystemC.- Tagged Geometric History Length Access Interval Prediction for Tightly Coupled Memory Systems.- Processor Architecture.- NanoController: A Minimal and Flexible Processor Architecture for UltraLow-Power.- ControlPULP: A RISC-V Power Controller for HPC Processors with Parallel Control-Law Computation Acceleration.- Embedded Software Systems and beyond.- CASA: An Approach for exposing and documenting Concurrency-related Software Properties.- High-Level Simulation of Embedded Software Vulnerabilities to EM SideChannel Attacks.- Deep Learning Optimization I.- A Design Space Exploration Methodology for Enabling Tensor Train Decomposition in Edge Devices.- Study of DNN-based Ragweed Detection from Drones.- PULP-TrainLib: Enabling On-Device Training for RISC-V Multi-Core MCUs through Performance-Driven Autotuning.- Extra-functional Property Estimation.- The Impact of Dynamic Storage Allocation on CPython Execution Time, Memory Footprint and Energy Consumption: An Empirical Study.- Application runtime estimation for AURIX embedded MCU using deep learning.- A Hybrid Performance Prediction Approach for Fully-Connected Artificial Neural Networks on Multi-Core Platforms.- Deep Learning Optimization I.- A Smart HW-Accelerator for Non-Uniform Linear Interpolation of MLActivation Functions.- Hardware-Aware Evolutionary Filter Pruning.- Innovative Architectures and tools for Security.- Obfuscating the Hierarchy of a Digital IP.- On the effectiveness of true random number generators implemented on FPGAs.- Power and Energy.- SIDAM: A Design Space Exploration Framework for Multi-Sensor Embedded Systems Powered by Energy Harvesting.- A Data-Driven Approach to Lightweight DVFS-Aware Counter-Based Power Modeling for Heterogeneous Platforms.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 19th International Conference on Virtual Reality and Mixed Reality, EuroXR 2022, held in Stuttgart, Germany, in September 2022.The 6 full and 2 short papers were carefully reviewed and selected from 37 submissions. The conference presents contributions on results and insights in Virtual Reality (VR), Augmented Reality (AR), and Mixed Reality (MR), commonly referred to under the umbrella of Extended Reality (XR), including software systems, immersive rendering technologies, 3D user interfaces, and applications. Table of ContentsDesigning Functional Prototypes Combining BCI and AR for Home Automation.- SightX: A 3D Selection Technique for XR.- Design and Evaluation of Three User Interfaces for Detecting Unmanned Aerial Vehicles Using Virtual Reality.- Evaluating the Acceptability and Usability of a Head-Mounted Augmented Reality Approach for Autistic Children With High Support Needs.- Exploiting Augmented Reality in LEGO Therapy for Children with Autism Spectrum Disorder.- Evaluation of Point Cloud Streaming and Rendering for VR-based Telepresence in the OR.- Fast Intra-Frame Video Splicing for Occlusion Removal in Diminished Reality.- Coupling AR with object detection neural networks for end-user engagement.- A Procedural Building Generator based on Real-World Data Enabling Designers to Create Context for XR Automotive Design Experiences.- Generating VR meeting rooms with non-rectangular floor plans using cost optimization and hard constraints.- Controlling Continuous Locomotion in Virtual Reality With Bare Hands using Hand Gestures.- An Augmented Reality solution for the Positive Behaviour Intervention and Support.- The Reality of Virtual Experiences: Semantic and Epi-sodic Memory Formation in VR.

Read more less

Book SynopsisThis textbook shows how to develop the functional requirements of (information) systems. It emphasizes the importance to consider the complete development path of a functional requirement, i.e. not only the individual development steps but also their proper combination and their alignment. The book consists of two parts: Part I presents the underlying theory while Part II contains various illustrative case studies. Part I starts with an introduction to the topic (Chapter 1). Then it explains how to develop functional requirements that represent the conceptual dynamics of an information system (Chapters 2 and 3). Chapters 4 and 5 explain how to model the conceptual statics of an information system. Chapter 6 gives some directions for implementation. Finally, Chapter 7 explains how a ‘technical manager’ can organize and manage the development process. As an illustration of the theory, Part II contains three substantial case studies. The first one (Chapter 8) presents a stepwise development starting from an informal situation sketch via a simple domain model towards a precisely specified, full-fledged conceptual data model, which finally is translated to an SQL database. In the second case study (Chapter 9) the author converts the well-known non-trivial use case Process Sale from Larman into a textual System Sequence Description (SSD). For validation purposes, that textual SSD is subsequently translated into natural language and into a graphical SSD. The third case study (Chapter 10) shows the applicability of the author’s approach to a control system and also illustrates the typical situation that the requirements are constantly changing during development. This book is written for (under)graduate students in software engineering or information systems who want to learn how to carry out adequate problem analysis, to make good system specifications, and/or to understand how to organize and manage an IS-development process. It also targets practitioners who want to improve their problem analysis abilities and/or their ability to make good system specifications. To this end, it includes more than 150 explanatory figures and is accompanied by a Web site which provides additional course material such as slides, additional exercises, solutions to exercises, and the code for the figures used in the book.Table of Contents- 1. Introduction. - Part I Theory. - 2. Developing a Functional Requirement. - 3. Development Patterns. - 4. Domain Modelling. - 5. Conceptual Data Models. - 6. Directions for Implementation. - 7. Organizing and Managing the Development Process. - Part II Case Studies. - 8. A Non-trivial University Example Worked Out. - 9. Converting a Large Use Case. - 10. Development Example Where Requirements Constantly Change.

Read more less

Book SynopsisThis book presents reference architecture as a key blueprint to develop and evolve critical software-intensive systems, emphasizing both the state of the art in research and successful industrial cases. After outlining the theoretical foundations of reference architecture and presenting an overview of a number of reference architectures proposed over the recent years, this book dives into a set of critical application domains, including defense, health, automotive, avionics, and Industry 4.0, highlighting the respective most relevant reference architectures that have impacted these domains, the experience and lessons learned, insights gained, benefits and drawbacks, and factors that make these architectures sustainable. The book finishes with the most relevant directions for future advances in reference architectures.The content of this book is useful for researchers and advanced professionals in industry in the areas of computing and engineering, as well as in critical application domains that increasingly require interconnected, large, and complex software-intensive systems. Table of Contents

Read more less

Book SynopsisThis book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.Table of ContentsModel checking quantum Markov chains.- Bridging Formal Methods and Machine Learning with Global Optimisation.- Canonical Narrowing for Variant-based Conditional Rewrite Theories.- Modular Analysis of Tree-Topology Models.- Non-linear optimization methods for learning regular distributions.- Separation of concerning things: a simpler basis for defining and programming with the C\C++ memory model.- Creusot: a Foundry for the Deductive Verification of Rust Programs.- Generation of a Reversible Semantics for Erlang in Maude.- Program slicing techniques with support for unconditional jumps.- Formal verification of the inter-core synchronization of a multi-core RTOS kernel.- SMT-Based Model Checking of Industrial Simulink Models.- PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.- A Formal Methodology for Verifying Side-channel Vulnerabilities in Cache Architectures.- Refined Modularization for Bounded Model Checking through Precondition Generation.- TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter.- A Proof System for Cyber-physical Systems with Shared-Variable Concurrency.- Theorem proving for Maude specifications using Lean.- On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.- Declassification predicates for controlled information release.- Trace Refinement in B and Event-B.- Model Checking B Models via High-level Code Generation.- On Probabilistic Extension of The Interaction Theory.- Extracting Weighted Finite Automata from Recurrent Neural Networks for Natural Languages.- RoboCert: Property Specification in Robotics.- Formally Verified Animation for RoboChart using Interaction Trees.- Machine-checked executable semantics of Stateflow.

Read more less

Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2022, held in L'Aquila, Italy in July 2022.The 37 full papers in this book were reviewed and selected from 67 submissions. Another 10 demonstrations papers were selected from 11 submissions are presented here as short papers. The papers deal with the application and validation of agent-based models, methods, and technologies in a number of key applications areas, including: advanced models and learning, agent-based programming, decision-making, education and social interactions, formal and theoretic models, health and safety, mobility and the city, swarms and task allocation.

Read more less

Book SynopsisThis four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022. The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of documentation; automated software re-engineering; DIME day; rigorous engineering of collective adaptive systems; formal methods meet machine learning; digital twin engineering; digital thread in smart manufacturing; formal methods for distributed computing in future railway systems; industrial day.Table of ContentsSpecify This - Bridging gaps between program specification paradigms.- X-by-Construction Meets Runtime Verification.- Verification and Validation of Concurrent and Distributed Heterogeneous Systems.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 15th International Conference on Artificial General Intelligence, AGI 2022, held as a hybrid event in Seattle, WA, USA, in August 2022.The 31 full papers presented in this book were carefully reviewed and selected from 61 submissions. The papers cover topics from foundations of AGI, to AGI approaches and AGI ethics, to the roles of systems biology, goal generation, and learning systems, and so much more. Additionally, this volume contains 13 posters. Table of ContentsAccepted for poster presentation.- A General Purpose Machine Reasoning Engine.- COMFO: Multilingual Corpus for Opinion Mining.- Information as Entanglement—A Framework for Artificial General Intelligence.- Causal Analysis of Generic Time Series Data Applied for Market Prediction.- Dynamic and Evolving Neural Network for event discrimination.- Hierarchical temporal DNN and Associative knowledge representation.- MARTI: new model of human brain, considering neocortex and basal ganglia – learns to play Atari game by reinforcement learning on a single CPU.- General-Purpose Minecraft Agents and Hybrid AGI.- Graph Strategy for Interpretable Visual Question Answering.- Analogical Problem Solving in the Causal Cognitive Architecture.- A Biologically Plausible Graph Structure for AGI.- The Delta Normal AGI.- Purely Symbolic Induction of Structure.- Accepted for full oral presentation.- Extended subdomains: a solution to a problem of Hernández-Orallo and Dowe.- Versatility-Efficiency Index (VEI): Towards a Comprehensive Definition of Intelligence Quotient (IQ) for Artificial General Intelligence (AGI) Agents.- Moral Space for Paraconsistent AGI.- PERI.2 Goes to PreSchool and Beyond, in Search of AGI.- Reinforcement Learning with Information-Theoretic Actuation.- Homomorphisms Between Transfer, Multi-Task, and Meta-Learning Systems.- Core and Periphery as Closed-System Precepts for Engineering General Intelligence.- Toward Generating Natural-Language Explanations of Modal Logic Proofs.- ONA for autonomous ROS-based robots.- Generalized Identity Matching in NARS.- Adaptive Multi-Strategy Market-Making Agent For Volatile Markets.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 2: Using Knowledge.- What can nonhuman animals, children, and g tell us about human-level artificial general intelligence (AGI)?.- Toward a Comprehensive List of Necessary Abilities for Human Intelligence, Part 1: Constructing Knowledge.- Cognitive Architecture for Co-Evolutionary Hybrid Intelligence.- An approach to generation triggers for parrying backdoor in neural networks.- The Learning Agent Triangle: Towards a unified disambiguation of the AGI challenge..- Maze Learning using a Hyperdimensional Predictive Processing Cognitive Architecture.- Market Prediction as a Task for AGI Agents.- Monte Carlo Bias Correction in Q-learning.- Free Will Belief as a Consequence of Model-based Reinforcement Learning.- Thoughts on Architecture.- On the possibility of regulation of human emotions via multimodal social interaction with an embodied agent controlled by eBICA-based emotional interaction model.- QKSA: Quantum Knowledge Seeking Agent.- Elements of Active Continuous Learning and Uncertainty Self-Awareness: a Narrow Implementation for Face and Facial Expression Recognition.- Thrill-K Architecture: Towards a Solution to the Problem of Knowledge Based Understanding.- Grammar Induction - Experimental Results.- Brain Principles Programming.- A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems.- Artificial Open World for Evaluating AGI: a Conceptual Design.- Ownability of AGI.

Read more less

Book SynopsisThis book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogotá, Colombia, during November 22–26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.Table of Contents​Artificial Intelligence.- SIMALL: Emotional BDI Model for Customer Simulation in a Mall.- Classification of Depression Based on Audio with Artificial Intelligence.- Analytical model of recommendations for the mitigation of theft risks.- Implementing a Deep Learning Algorithm for Detection of Denial of Service Attacks.- Correlations and cross-correlations in temperature and relative humidity temporal series from Manizales, Colombia.- Educational Informatics.- ALPY PLUS – Adaptive Model Oriented to Pathway Planning in Virtual Learning System.- Problem-based learning and virtual platforms process in education for civil engineers: An experiment carried out by the University of Medellin, Colombia.- Information Systems.- Cost Estimate Migration for Crystal Reports.- Evaluation of Work Stealing Algorithms.- Analysis of the user experience for an application proposal oriented to the general medical consultation service.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 8th International Conference, CITI 2022, held in Guayaquil, Ecuador, during November 14–17, 2022.The 19 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: machine Learning; knowledge based systems; computer vision and image analysis; networks, monitoring and collaborative systems; apps and user interfaces.Table of Contents​Machine Learning.- A machine learning study about the vulnerability level of poverty in Perú.- Predicting academic performance in mathematics using machine learning algorithms.- Analysis of classification algorithms for the prediction of purchase intention in electronic commerce.- Knowledge based systems.- Alignment techniques in Domain-specific models.- IVRMaker, an Interactive and Customizable telephone Chatbot services platform.- Digital Transformation of Health Care Services: Médikal Case Study.- Computer vision and Image analysis.- Texture and Color-Based Analysis to Determine the Quality of the Manila Mango using Digital Image Processing Techniques.- Detection of motorcyclists without a safety helmet through YOLO: support for road safety.- Computer Vision-Based Ovitrap for Dengue Control.- Networks, monitoring and collaborative systems.- Performance analysis of Multipath TCP congestion control variants.- Data stream processing method for clustering of trajectories.- Low-Cost Energy Consumption Monitoring System using NodeMCU.- Trend of the use and investment of Blockchain technology in the banking sector in Ecuador.- Effectiveness of monitoring indicators in the architecture of a collaborative system.- IoT monitoring for real-time control of industrial processes.- Metric identification evaluating security information: A Systematic Literature Review.- Apps and user interfaces.- Evaluation of User Interface (UI) and User Experience (UX) for web services of a weather data monitoring platform.- Comparison of Free Android Mobile 3D Modeling Tools for AR Apps.- A Web App for Teaching Specialized English Vocabulary – Case of Study: Computer Sciences.

Read more less

Book SynopsisThis volume constitutes selected papers presented at the First International Conference on Engineering Software for Modern Challenges, ESMoC 2021, held in Johor, Malaysia, in October 20-21, 2021.The 17 papers presented were thoroughly reviewed and selected from the 167 submissions. They are organized in the topical sections on ​software engineering; intelligent systems; software quality. Table of ContentsSoftware Engineering.- Intelligent Systems.- Software Quality.

Read more less

Book SynopsisThis book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full papers included in this book were carefully reviewed andselected from 75 submissions. They were organized in topical sections as follows: ioT enabling technologies; ioT applications, services and real implementations; ioT security, privacy and data protection; and ioT pilots, testbeds and experimentation results.Table of Contents​IoT Enabling Technologies.- Overview of Drone Communication Requirements in 5G.- Accurate indoor positioning based on beacon weighting using RSSI.- Adaptive Data-Driven Routing for Edge-to-Cloud Continuum: a Content-Based Publish/Subscribe Approach.- Online Decentralized Frank-Wolfe: From theoretical bound to applications in smart-building.- IntellIoT: Intelligent IoT Environments.- An Interoperable Framework for Heterogeneous IoT Infrastructure to Unlock Data Value.- Task offloading in Computing Continuum using collaborative reinforcement learning.- Assessing Efficiency Benefits of Edge Intelligence.- IoT Applications, Services and Real Implementations.- A Smart IoT Gateway capable of Prescreening for Atrial Fibrillation.- Internet of Things with web technologies solution for flood notification in S~ao Paulo.- Wi-Monitor: Wi-Fi Channel State Information-based Crowd Counting with Lightweight and Low-cost IoT Devices.- Design of a next-generation interoperable Cognitive Port Solution.- Conceptual Framework of Contact-less Consumer Products Industry during and Post-Pandemic Era.- Blockchain for economy of scale in wind industry: A Demo Case.- Sleep Stage detection on a Wearable Headband using Deep Neural Networks.- A Comparative Study on Energy Consumption Models for Drones.- ConQeng: A Middleware for Quality of Context Aware Selection, Measurement and Validation.- Automating Heterogeneous IoT Device Networks from Multiple Brokers with Multiple Data Models.- A Persuasive system for Stress Detection and Management in an Educational Environment.- Domain Generalization on Constrained Platforms: on the Compatibility with Pruning Techniques.- IoT Security, Privacy and Data Protection.- A low-overhead approach for self-sovereign identity in IoT.- An Analysis of Process Parameters for the Optimization of Specific Emitter Identification Under Rayleigh Fading.- Secure Image Data Storage And Transmission Using ESP32-Cam And Raspberry Pi With Steganography.- Modelling of Resource-aware Information Exchange for Resource Constraint IoT Devices.- IRIS Advanced Threat Intelligence Orchestrator- A way to manage cybersecurity challenges of IoT ecosystems in Smart Cities.- Federated learning-based IoT intrusion detection on non-IID data.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- A holistic approach for IoT networks' identity and trust management - The ERATOSTHENES project.- ARCADIAN-IoT - Enabling Autonomous Trust, Security and PrivacyManagement for IoT.- IoT Pilots, Testbeds and Experimentation Results.- GAIA 5G: A Multi-Access Smart-Campus Architecture.- IoT Device for Reduction of Roe Deer Fawn Mortality During Haymaking.- Latency and Energy Consumption of Convolutional Neural Network Models from IoT Edge Perspective.- Industry-Academia Cooperation: Applied IoT Research for SMEs in South-East Sweden.- Experiment to scope Low Carbon Electricity based Additive Manufacturing with IoT.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 10th International Conference on Bioinspired Optimization Methods and Their Applications, BIOMA 2022, held in Maribor, Slovenia, in November 2022.The 19 full papers presented in this book were carefully reviewed and selected from 23 submissions.The papers in this BIOMA proceedings specialized in bioinspired algorithms as a means for solving the optimization problems and came in two categories: theoretical studies and methodology advancements on the one hand, and algorithm adjustments and their applications on the other.Table of ContentsAn agent-based model to investigate different behaviours in a crowd simulation.- Accelerating Evolutionary Neural Architecture Search for Remaining Useful Life Prediction.- ACOCaRS: Ant Colony Optimization Algorithm for Traveling Car Renter Problem.- A new type of anomaly detection problem in dynamic graphs: An ant colony optimization approach.- CSS- A Cheap-Surrogate-based Selection Operator for Multi-objective Optimization.- Empirical Similarity Measure for Metaheuristics.- Evaluation of Parallel Hierarchical Differential Evolution for Min-Max Optimization Problems Using SciPy.- Explaining Differential Evolution Performance Through Problem Landscape Characteristics.- Genetic improvement of TCP congestion avoidance.- Hybrid Acquisition Processes in Surrogate-based Optimization. Application to Covid-19 Contact Reduction.- Investigating the Impact of Independent Rule Fitnesses in a Learning Classifier System.- Modified Football Game Algorithm for Multimodal Optimization of Test Task Scheduling Problems Using Normalized Factor Random Key Encoding Scheme.- Performance Analysis of Selected Evolutionary Algorithms.- Refining Mutation Variants in Cartesian Genetic Programming.- Slime mould algorithm: An experimental study of nature-inspired optimizer.- SMOTE inspired extension for differential evolution.- The Influence of Local Search over Genetic Algorithms with Balanced Representations.- Trade-off of networks on weighted space analyzed via a method mimicking human walking track superposition.- Towards interpretable policies in multi-agent reinforcement learning tasksb.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 23rd International Conference on Product-Focused Software Process Improvement, PROFES 2022, which took place in Jyväskylä, Finland in November 2022.The 24 full technical papers, 9 short papers, and 6 poster papers presented in this volume were carefully reviewed and selected from 75 submissions. The book also contains and 8 doctoral symposium papers and 7 tutorial and workshop papers.The contributions were organized in topical sections as follows: Keynote; Cloud and AI; Empirical Studies; Process Management; Refactoring and Technical Dept; Software Business and Digital Innovation; Testing and Bug Prediction; Posters; Tutorials; Workshop on Engineering Processes and Practices for Quantum Software (PPQS’22); 1st Workshop on Computational Intelligence and Software Engineering (CISE 2022); Doctoral Symposium.Table of Contents​ Keynote.- The End-users of Software Systems deserve better.- Cloud and AI.- Managing the Root Causes of "Internal API Hell": An Experience Report.- Requirements for Anomaly Detection Techniques for Microservices.- Requirements for Anomaly Detection Techniques for Microservices.- Requirements for Anomaly Detection Techniques for Microservices.- Empirical Studies.- Defining Requirements Strategies in Agile: A Design Science Research.- Analysing the Relationship between Dependency Definition and Updating Practice when Using Third-Party Libraries.- On the Limitations of Combining Sentiment Analysis Tools in a Cross-Platform Setting.- Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes.- Marine Data Sharing: Challenges, Technology Drivers and Quality Attributes.- Data-Driven Improvement of Static Application Security Testing Service: An Experience Report in Visma.- Near Failure Analysis using Dynamic Behavioural Data.- Process Management.- A Process Model of Product Strategy Development: A Case of B2B SaaS Product.- A Process Model of Product Strategy Development: A Case of B2B SaaS Product.- Benefit Considerations in Project Decisions.- Towards Situational Process Management for Professional Education Programmes.- Change Management in Cloud-Based Offshore Software Development: A Client-Vendor Perspective.- Half-Empty Offices in Flexible Work Arrangements: Why are Employees Not Returning?.- Refactoring and Technical Dept.- Technical Debt in Service-Oriented Software Systems.- An Investigation of Entropy and Refactoring in Software Evolution.- "To Clean Code or Not To Clean Code" A Survey among Practitioners.- Software Business and Digital Innovation.- Counter the Uncertainties in a Dynamic World: Approach for Creating Outcome-Driven Product Roadmaps.- Designing Platforms for Crowd-based Software Prototype Validation: A Design Science Study.- Rapid delivery of software: The effect of alignment on time to market.- Exploring the “Why,” “How,” and “What” of Continuous Digital Service Innovation.- Why Traditional Product Roadmaps Fail in Dynamic Markets: Global Insights.- Why Traditional Product Roadmaps Fail in Dynamic Markets: Global Insights.- Why Traditional Product Roadmaps Fail in Dynamic Markets: Global Insights.- Testing and Bug Prediction.- Test Case Selection with Incremental ML.- Inferring Metamorphic Relations from JavaDocs: A Deep Dive Into the MeMo Approach.- An Evaluation of Cross-Project Defect Prediction Approaches on Cross-Personalized Defect Prediction.- A/B Testing in the Small: an Empirical Exploration of Controlled Experimentation on Internal Tools.- TEP-GNN: Accurate Execution Time Prediction of Functional Tests using Graph Neural Networks.- Improving Software Regression Testing Using a Machine Learning-based Method For Test Type Selection.- Early Identification of Invalid Bug Reports in Industrial Settings - A Case Study.- Posters.- RESEM: Searching Regular Expression Patterns with Semantics and Input/Output Examples.- Linking User Stories and Behavior Driven Development Concepts: Ontology, Preliminary Validation and Further Perspectives.- Quality Metrics for Software Development Management and Decision Making: An Analysis of Attitudes and Decisions.- Are NLP Metrics Suitable for Evaluating Generated Code?.- Are NLP Metrics Suitable for Evaluating Generated Code?.- Can the requirements coverage be satisfied with code coverage? User story test coverage.- Tidy Up Your Source Code! Eliminating Wasteful Statements in Automatically Repaired Source Code.- Tutorials- Utilizing User Stories to Bring AI Ethics into Practice in Software Engineering.- Workshop on Engineering Processes and Practices for Quantum Software (PPQS’22).- Classical to Quantum Software Migration Journey Begins: A Conceptual Readiness Model.- 1st Workshop on Computational Intelligence and Software Engineering (CISE 2022).- Technical Debt Forecasting from Source Code using Temporal Convolutional Networks.- Adagio: a bot for AuDio processing AGainst vIOlence.- End Users’Perspective of Performance Issues in Google Play Store .- Predicting Bug-Fixing Time: DistilBERT versus Google BERT.- Proposing Isomorphic Microservices based Architecture for IoT.- Doctoral Symposium.- Ethical Tools, Methods and Principles in Software Engineering and Development: Case Ethical User Stories.- Architectural Degradation and Technical Debt Dashboards (PROFES Doctoral Symposium).- The Impact of Business Design in Improving the Offering of Professional Software Services.- Applications of MLOps in the Cognitive Cloud Continuum "PROFES Doctoral Symposium".- Implementing Artificial Intelligence Ethics in Trustworthy System Development- Ethical Requirements for Software Development.- Developing a Critical Success Factor model for DevOps.- Strategic ICT procurement in Finland: Tensions and Opportunities.- Leverage Software Containers Adoption By decreasing Cyber Risks and systemizing the refactoring of monolithic applications.

Read more less

Book SynopsisThis book presents the latest research on software engineering application in informatics. The fields of software engineering, informatics, computer science, and artificial intelligence are critical for study in the intelligent systems issue space. This is the first part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo 2022 conference, which is being hosted online, is breaking down barriers. CoMeSySo 2021 aims to provide a worldwide venue for debate of the most recent high-quality research findings.

Read more less

Book SynopsisThis book offers real-world data science and algorithm design topics linked to systems and software engineering. Furthermore, articles describing unique techniques in data science, algorithm design, and systems and software engineering are featured. This book is the second part of the refereed proceedings of the 6th Computational Methods in Systems and Software 2022 (CoMeSySo 2022). The CoMeSySo 2022 conference, which is being hosted online, is breaking down barriers. CoMeSySo 2022 aims to provide a worldwide venue for debate of the most recent high-quality research findings.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022. The 18 full papers presented in this book were carefully reviewed and selected from 65 submissions. The papers cover topics such as database systems, data stream analysis, knowledge-graphs, machine learning, model-driven engineering, image processing, diagnosis, natural language processing, optimization, and advanced applications such as the internet of things and healthcare.Table of ContentsImage processing and diagnosis.- Machine Learning and Optimization.- Natural Language Processing.- Modelling.- Database systems.

Read more less

Book SynopsisThis book constitutes the refereed proceedings of the 11th International Conference on Cloud Computing and Services Science, CLOSER 2021, Virtual Event, during April 28–30, 2021. The 5 full papers included in this book were carefully reviewed and selected from 51 submissions. The proceedings deal with the topics of data processing, cloud computing environments, and services science.Table of ContentsTailoring Technology-agnostic Deployment Models to Production-ready Deployment Technologies.- Toward Secure VMs Allocation: Analysis of VMs Allocation Behaviours in the Cloud Computing Environments.- Risk Analysis Automation Process in IT Security for Cloud Applications.- AI Quality Engineering for Machine Learning based IoT Data Processing.- Quality of Service Support through a Self-adaptive System in Edge Computing Environments.

Read more less

Book SynopsisThis volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.Table of ContentsImage processing and diagnosis.- Machine Learning and Optimization.- Machine Learning and Optimization.- Modelling.- Database systems.- Applications.- DETECT Workshop: modeling, verification and testing of dependable critical systems.

Read more less