Software Engineering Books
Springer Nature Switzerland AG Product-Focused Software Process Improvement: 22nd International Conference, PROFES 2021, Turin, Italy, November 26, 2021, Proceedings
Book SynopsisThis book constitutes the refereed proceedings of the 22nd International Conference on Product-Focused Software Process Improvement, PROFES 2021, held in Turin, Italy, in November 2021. Due to COVID-19 pandemic the conference was held as a hybrid event. The 20 revised papers, including 14 full papers, 3 short papers and 3 industry papers, presented were carefully reviewed and selected from 48 submissions. The papers cover a broad range of topics related to professional software development and process improvement driven by product and service quality needs. They are organized in the following topical sections: agile and migration, requirements, human factors, and software quality.Table of ContentsAgile and Migration.- Migration from Ionic to Android: Implications.- The migration journey towards microservices.- Migrating from a Centralized Data Warehouse to a Decentralized Data Platform Architecture.- How Do Agile Teams Manage Impediments?.- Keeping the momentum: Driving continuous improvement after the large-scale agile transformation.- Requirements.- How Do Practitioners Interpret Conditionals in Requirements?.- Situation- and Domain-specific Composition and Enactment of Business Model Development Methods.- Using a data-driven context model to support the elicitation of context-aware functionalities – a controlled experiment.- A Transformation Model for Excelling in Product Roadmapping in Dynamic and Uncertain Market Environments.- Introducing Traceability in GitHub for Medical Software Development.- Human Factors.- An Empirical Study on Personality Traits and Team Climate in a Smart-Working Development Context.- Searching for bellwether developers for cross-personalized defect prediction.- Using Machine Learning to Recognise Novice and Expert Developers.- Is knowledge the key? An experiment on debiasing architectural decision-making - a pilot study.-Communicating Cybersecurity Vulnerability Information: A Producer-Acquirer Case Study.- Software quality.- Analyzing SAFe Practices with respect to Quality Requirements: Findings from a Qualitative Study.- Capitalizing on Developer-Tester Communication – A Case Study.- Toward a Technical Debt Relationship with the Pivoting of Growth Phase Startups.- Towards a Common Testing Terminology for Software Engineering and Artificial Intelligence Experts.- Towards RegOps: A DevOps Pipeline for Medical Device Software.-
£54.99
Springer Nature Switzerland AG Broadband Communications, Networks, and Systems: 12th EAI International Conference, BROADNETS 2021, Virtual Event, October 28–29, 2021, Proceedings
Book SynopsisThis book constitutes the refereed post-conference proceedings of the 12th International Conference on Broadband Communications, Networks, and Systems, Broadnets 2021, which took place in October 2021. Due to COVID-19 pandemic the conference was held virtually. The 24 full papers presented were carefully reviewed and selected from 49 submissions. The papers are thematically grouped as a session on broadband communications, networks, and systems; 5G-enabled smart building: technology and challenge; and 5G: The advances in industry.Table of ContentsBroadband communications, Networks, and Systems: Theory and Applications.- A Machine Learning-based Elastic Strategy for Operator Parallelism in a Big Data Stream Computing System.- End-to-End Dynamic Pipelining Tuning Strategy for Small Files Transfer.- Containers’ Privacy and Data Protection via Runtime Scanning Methods.- Digital Twin For Cybersecurity: Towards Enhancing Cyber Resilience.- Differential Privacy-based Permissioned Blockchain for Private Data Sharing in Industrial IoT.- Efficient Privacy-Preserving User Matching with Intel SGX.- Developing an Online Examination Timetabling System Using Artificial Bee Colony Algorithm in Higher Education.- A Topology-Aware Scheduling Strategy for Distributed Stream Computing System.- Data Stream Prediction Strategy for Elastic Stream Computing Systems.- Blockchain Enabled Integrity Protection for Bodycam Video.- Road Rage Recognition System Based on Face Detection Emotion.- A Drip Irrigation Remote Control System using 5G-IoT Technology.- Multipath QUIC - Directions of the Improvements.- One New Adaptive Elliptical Weighting Model Combining with the Tikhonov-ffp-norm for image reconstruction.- Calculation and Numerical Simulation of Building Integrated Photovoltaic System Based on Connected Autonomous Vehicle Platoon Control through Multi-Agent Deep Reinforcement Learning.- 5G-enabled Smart Building: Technology and Challenge.- Accurate Estimation on the State-of-Charge of Lithium-ion Battery Packs.- Fire Simulation and Optimial Evaluation Based on BIM Technology.- Discrete Sliding Mode Control of PMSM with Network Transmission.- Smart Medical and Nursing Platform Based on 5G Technology.- Time-domain predictable trajectory planning for autonomous driving based on Internet of Vehicles.- 5G: The Advances in Industry.- Rate-compatible shortened polar codes based on RM code-aided.- Research on wheat impurity image recognition based on convolutional neural network.- Based on Energy Router Energy Management Control Strategy in micro-grid.
£66.49
£59.99
Springer International Publishing AG Understanding Modelling and Programming
Book SynopsisThis book provides a concise overview of modelling and programming by presenting their essential concepts. It enables the reader to better understand the relationships between modelling and programming by describing abstract properties, desired behaviours, intended structures, needed interactions, and other specific viewpoints on the overall system under development. After an introduction to the importance of modelling and programming in the scope of system engineering in chapter 1, the book provides four main chapters covering systems, models, specifications, and programs, each of them with a set of reflection exercises. Chapter 2 explores how systems relate to reality, exploring different perspectives related to the purpose of the system. Chapter 3 explains what it takes to be a model and how models and systems are related and concludes with discussing model semantics, meaning, and correctness. In Chapter 4, specifications are debated which are precise descriptions of models and systems. It presents the language constructs needed to describe systems and shows how the constructs can be expressed in concrete languages, considering both the structure and the behaviour of models. Chapter 5 considers the creation, simulation, and correct execution of specifications (model descriptions or programs). Eventually, Chapter 6 presents a collection of real-world modelling cases. Apart from describing the case, the concepts of the book are applied to the case, thus giving a better understanding of the concepts. The book is carefully designed to explain modelling and programming concepts, their relationships, and their use. Written for computer science students and lecturers, it covers systems, modelling, programming, simulation, and semantics.
£42.74
Springer Digital Product Management in the Era of Data Economy Artificial Intelligence and Ecosystems
Book SynopsisTowards Business Agility 2.0.- Balancing the Sustainability of Digital Product Management from a Strategic Business Perspective.- Understanding DevOps Critical Success Factors: A thematic analysis.- Micro-Credentials Ecosystem: Dynamic capabilities do matter.- A Framework for Managing Platforms as Products in IT Organizations.- A conceptual analysis of emerging 6G ecosystem.- From Compliance Risk to Business Model - Cloud Sovereignty as a Door Opener for the EU Market.
£44.99
Springer Handbook on Teaching Empirical Software Engineering
Book SynopsisPart 1: Editorial Introduction.- Teaching Empirical Research Methods in Software Engineering: An Editorial Introduction.- Designing a Syllabus for a Course in Empirical Software Engineering.- Part 2: Fundamentals for Teaching Empirical Software Engineering.- Teaching Theorizing in Software Engineering Research.- Teaching Research Design in Software Engineering.- Teaching Software Metrology: The Science of Measurement for Software Engineering.- Qualitative Data Analysis in Software Engineering: Techniques and Teaching Insights.- Part 3: Experience Reports and Reflections.- Teaching Empirical Software Engineering at Eindhoven University of Technology.- Ten Years of Teaching Empirical Software Engineering in the context of Energy-efficient Software.- Experiences in Using the V-Model as a Framework for Applied Doctoral Research.- Sustainability Competencies Informing Research Strategies for Software Engineering: A Personal Experience Report.- Part 4: Teaching Empirical Software Engineering Research Methods.- A Course on Experimentation in Software Engineering: Focusing on Doing.- Teaching Mining Software Repositories.- Teaching Simulation as a Research Method in Empirical Software Engineering.- Teaching Action Research.- Action Research with Industrial Software Engineering An Educational Perspective.- Teaching Case Study Research.- Teaching Design Science as a Method for Effective Research Development.- Teaching Survey Research in Software Engineering.- Teaching Literature Reviews in Software Engineering Research.- Teaching Systematic Literature Reviews: Strategies and Best Practices.- Teaching and Learning Ethnography for Software Engineering Contexts.
£189.99
Springer Runtime Verification
Book Synopsis.- Invited Paper..- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities..- Cyber-physical Systems..- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study..- Stream-based Monitoring under Measurement Noise..- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS..- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption..- Sampling-based and Gradient-based Efficient Scenario Generation..- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems..- Temporal Logics..- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties..- Efficient Online Monitoring for Dynamic Metric Temporal Logic..- TimelyMon: A Streaming Parallel First-Order Monitor..- Specification and Visualization..- Adding State to Stream Runtime Verification..- The Complexity of Data-Free Nfer..- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring..- Deep Neural Networks..- Case Study: Runtime Safety Verification of Neural Network Controlled System..- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces..- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study..- Distributed Systems..- Distributed Monitoring of Timed Properties..- Towards Efficient Runtime Veri ed Linearizable Algorithms..- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.
£49.99
£49.99
Springer Applied Computer Sciences in Engineering
Book Synopsis.- Artificial Intelligence..- Zero-Shot Spam Email Classification Using Pre-trained Large Language Models..- Automatic Recognition System for Public Transport Robberies Based on Deep Learning..- Reinforcement Learning Model applied In A Pair Trading Strategy..- Neural networks informed by physics applied to solving an optimal investment-consumption problem..- Deep Learning-based object detection of relevant morphological traits for enhancing automatic classification of freshwater macroinvertebrates..- Deep Tracking Portfolios using Autoencoders and Variational Autoencoders..- On the use of a foundation acoustic model to identify highly relevant phonetic information of Parkinson's speech..- Improvement in the Management of Potable Water Distribution Using Data Science for the Detection and Correction of Errors in Operational Measurement Systems..- Wrist Motion Pattern Recognition from EMG Signal Processing Using Machine Learning and Neural Networks..- Skin Disease Pre-diagnosis with Novel Visual Transformers..- Enhancing the Diagnostic Accuracy of Diabetes and Prediabetes with Neural Network-Based Area Under the Curve Analysis of OGTT Data..- Improving Energy Management in Artificial Pancreas using an Event-trigger MPC Strategy..- Advancements in AI-Driven Emotion Recognition: A Study on CNN and DMD Methodologies..- Control of a buck converter using arti cial neural network NARMA-L2 controller..- Design of a crime prediction model for Barranquilla using Machine Learning algorithms..- A smart mobile mapping application for the evaluation of road infrastructure in urban and rural corridors..- Analysis of variables related to criminal violence and public insecurity in the city of Barranquilla, Colombia, using crispy methodology and python programming language..- Comparison of Motor Imagery and Motor Execution Networks Using the Phase Lag Index..- Compare computer visions algorithms for estimate 6Dof cameras pose..- Digital Twin framework proposal based uncertainty management models optimisation and interactive design..- Data-driven Demand Localization for Effective Disaster Response.
£59.99
Springer Applied Computer Sciences in Engineering
Book Synopsis.- Optimization..- Location-allocation of relief service facilities: a case study for Bogotá - Colombia..- Harmony Search Based Metaheuristic for the Index Tracking Problem..- Chaotic Binary Fox Optimizer for solving Set Covering Problem..- Optimal Selection of Distributed Generation Projects in Power Distribution Systems: A Genetic Algorithm Approach with DIgSILENT PowerFactory Integration..- Location Model of Rural Centers as Logistical Support of the Agri-Food Supply Chain in the Sabanas Subregion, Department of Sucre..- Stochastic Optimization for Sustainable Development in Rural Territories..- Index Tracking Based on Norm-Constraints and Regularization..- Physical Benchmark for Evaluating Network Control Systems Under Cyber Attacks..- Exploring oncolytic measles virotherapy for cancer tumor reduction using linear MPC..- Dynamic thermal compensation in CNC machining: modeling a linear Kalman filter for enhanced positional accuracy..- Simulation..- Simulation Model for the Strategic Analysis of a Cassava Starch Production Company: A Case Study..- Experimental Results of a Cascade Control for Autonomous Attitude Tracking in a UAV with Actuator Compensation..- Battery Life Estimation of a Solar-electric Boat Based on Hybrid Simulation of Real-life Operation Using Python-based Algorithms..- Fuzzy PID Control Architectures for Continuous Industrial Processes: A Comparative Study..- Applications..- Design of a Right-Hand Rehabilitation Orthosis..- Detection of broken bars in three-phase electric motors using current and vibration signals..- Setting-up the Audiomoth recorder for wildlife monitoring in the rainforest..- Requirements Engineering in Web Applications for Education..- Factors associated with dropout in Engineering: a structural equation and logistic model approach..- Geographic Information Management Applied to Land Administration in Colombia through the Use of Free Software Tools..- Application of inferential statistics with Neural Networks for predicting income levels in companies based on management system maturity.
£59.99
Springer Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems
Book SynopsisRigorous Engineering of Collective Adaptive Systems - Introduction to the 5th Track Edition.- Optimality-preserving Reduction of Chemical Reaction Networks.- Exploring Consensus Robustness in Swarms with Disruptive Individuals.- Towards Real-Time Aggregate Computing.- Epistemic Ensembles in Semantic and Symbolic Environments.- The evolving conscious agent, I.- Emergence in Multi-Agent Systems: A Safety Perspective.- The EM-BDD algorithm for learning hidden Markov models.- Is Machine Learning Model Checking Privacy Preserving?.- Matching Expectations in Ensembles: Connecting Verifiable Credentials and the Semantic Web.- Once and for all: how to compose modules - The Composition Calculus.- RailCabs and Birds in Julia - Context-Role Ensemble Engineering in Practice.- How Well Do LLMs Understand DEECo Ensemble-based Component Architectures.- Model-Driven Development of Multi-Robot Systems: From BPMN Models to X-KLAIM Code.- Rigorous Model Engineering of Hierarchical Multirate CPSs in MR-HybridSynchAADL.- An Approach for Extended Swarm Formation Flight with Drones: Protease2.0.- Monitoring Local and Global Properties of Collective Adaptive Systems.- Rigorous Analysis of Idealised Pathfinding Ants in Higher-Order Logic.- Statistical model checking of cooperative autonomous driving systems.- Attributed Point-to-point Communication in R-Check.- Local Reasoning and Attribute-based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.
£67.49
Springer Bridging the Gap Between AI and Reality
Book SynopsisVerification for Neuro-Symbolic Artificial Intelligence.- Is your AI-based System Five Star Sustainable?.- Certainty vs. Intelligence.- Responsible and Trusted AI: An Interdisciplinary Perspective.- Team Design Patterns for Meaningful Human Control in Responsible Military Artificial Intelligence.- Transparent Transparency: Developing a Scheme for Understanding Transparency Requirements.- AI Act for the Working Programmer.- AI Assisted Programming (AISoLA 2024 Track Introduction).- SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.- Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software.- Proof Repair Utilizing Large Language Models: A Case Study on the Copland Remote Attestation Proofbase.- LLM based Scheme for Synthesis of Formal Verification Algorithms.- Verification and Learning for Assured Autonomy.- A Comparison of Monitoring Techniques for Deep Neural Networks.- Efficient Shield Synthesis via State-Space Transformation.- Conformal Quantitative Predictive Monitoring and Conditional Validity.- Runtime Verification and AI: Addressing Pragmatic Regulatory.- A Game-Based Semantics for the Probabilistic Intermediate Verification Language HeyVL.- Systematic Translation from Natural Language Robot Task Descriptions to STL.- It's Safe to Play while Driving: From a Spatial Traffic Logic Towards Traffic Games.- Monitoring Safety and Reliability of Underwater Robots: A Case Study.- Statistical Model Checking the 2024 Edition!.- Reinforcement learning for discretized Euclidean MDPs.- Adaptive Stopping Algorithms Based on Concentration Inequalities.- Digging for Decision Trees: A Case Study in Strategy Sampling and Learning.- Statistical Analysis of the Impact of Bit-Flips in Security Critical Code.- Statistical Model Checking of python Agent-based models: an integration of MultiVeStA and Mesa.- On SMC-Based Dependability Analysis in LoLiPoP-IoT Project.- Towards Verifying Robotic Systems using Statistical Model Checking in STORM.
£59.99
Springer Advances in Conceptual Modeling
Book SynopsisAISA.- The First International Workshop on AI Services and Applications.- Empirical case study of AI Service and Application for people with disabilities.- A Methodological Framework for Designing Human Centered Artificial Intelligence Services.- Beyond One Fits All A Case Study Approach to AI System Design Methods.- GRASPER Leveraging Knowledge Graphs for Predictive Supply Chain Analytics.- An MLOps Framework to Data Driven Modelling of Digital Twins with an Application to Virtual Test Rigs.- Empirical Study on the Use of Artificial General Intelligence Healthcare in the Elderly.- Effects of Perceived Ease of Use and Perceived Usefulness of Technology Acceptance Model on Intention to Continue Using Generative AI Focusing on the Mediating Effect of Satisfaction and Moderating Effect of Innovation Resistance.- Conceptual Modeling for Public AI Systems.- Self-Explanatory Retrieval Augmented Generation for SDG Evidence Identification.- CMLS.- International Workshop on Conceptual Modeling for Life Sciences CMLS.- On the Expressiveness of Petri Nets for Modeling Biological Processes the Case for mRNA Translation and Protein Synthesis.- Enhancing Vaxign DL for Vaccine Candidate Prediction with added ESM Generated Features.- Conceptual Modeling for Polygenic Risk Score Research Improving Domain Understanding and Clinical Utility.- Integrative Ontology of Bipolar Disorder OBD Advancing Bipolar Disorder Research through an Interoperable Ontological Framework.- EmpER.- 7th International Workshop on Empirical Methods in Conceptual Modeling EmpER'24.- How Does UML Look and Sound Using AI to Interpret UML Diagrams through Multimodal Evidence.- Can Large Language Models Learn Conceptual Modeling by Looking at Slide Decks and Pass Graduate Examinations An Empirical Study.- Evaluating a Framework of Conceptual Modelling Research.- Extending Goal Models with Execution Orders An Investigation of the Impact on Comprehensibility.- QUAMES.- 5th International Workshop on Quality and Measurement of Model-Driven Software Development QUAMES 2024.- Towards leveraging gamified code testing for effective model validation.- JUSMOD.- 3rd International Workshop on Digital JUStice digital law and conceptual MODeling JUSMOD24.- Resignifying Compliance between Ontologies and Epistemologies of Law.- Modelling Legal Enforcement with UFOL a Case from Swedish Healthcare.- The eu FAIRnews A Preliminary Exploration of Bridging Disinformation and Digital Justice through FAIR Data Practices in Online News Sources.- Safety Assurances in Autonomous Vessels.- LLM4Modeling.- 2nd Workshop Modeling in the Age of Large Language Models LLM4Modeling.- An LLM Assistant for Characterizing Conceptual Modeling Research Contributions.- AI Assisted Analytics An Automated Approach to Data Visualization.- Combining Natural Language Generation and Graph Algorithms to Explain Causal Maps through Meaningful Paragraphs.
£59.99
Springer Technologies and Innovation
Book Synopsis.- Artificial Intelligence in Agriculture..- Morphological defects classification in coffee beans based on Convolutional neural networks..- Multiclass classification of dry bean grains using machine learning techniques..- Towards Smart Agriculture: An Overview of Big Data in the Agricultural Industry..- Application of Predictive Algorithms in a Web System to Optimize Ornamental Fish Sales at Granlevein Farm, Churute..- Web-based system for the diagnosis of canine diseases using data mining techniques..- Natural Language Processing and Semantic Web..- Language Technology-based Political Microtargeting Services..- Automatic Generation of Summaries and Questions to Support the Reading Comprehension Process..- PoliticPA 2024: Author Profiling Gender and Political Ideology of Politicians in Panama..- Role of semantic technologies in engineering andragogy ecosystem..- Machine learning..- Identification of diabetic retinopathy from retinography images using a convolutional neural network..- Microservices architecture to improve the performance of Machine Learning applications in eHealth..- Leveraging Data Science and Machine Learning for Predictive Analysis in Organizational Decision-Making..- Detection of scoliosis in X-ray images using a convolutional neural network..- Software tools..- Monitoring Software Tool to Prevent Data Leaks in a RESTful API..- Evaluation of the tool visualization of Interaction tracking in collaborative work in a forum activity in Moodle.
£71.99
Springer Conceptual Modeling
Book Synopsis.- Process Modeling..- Enhancing BERT Performance: Multi-Teacher Adversarial Distillation with Clean and Robust Guidance..- On the Task-specific Effects of Fragmentation in Modular Process Models..- A Universal Prompting Strategy for Extracting Process Model Information from Natural Language Text using Large Language Models..- Agent System Event Data: Concepts, Dimensions, Applications..- Advanced Modeling Languages..- Multi-Faceted Evaluation of Modeling Languages for Augmented Reality Applications - The Case of ARWFML..- Application of the Tree-of-Thoughts Framework to LLM-Based Domain Modeling..- ECQL: Towards Succinct and Extensible Modeling of Multi-model Query Results..- Ontological Modeling..- An Analysis of the Semantic Foundation of KerML and SysML..- Portions of Matter and their Existential Events: An ontology-based conceptual model..- Model-Driven Design and Generation of Training Simulators for Reinforcement Learning..- Domain and Goal Modeling..- Generating Secure Workflow Designs from Requirements Goal Models Using Patterns..- Modeling and Reasoning about Explanation Requirements using Goal Models..- Enhancing Domain Modeling with Pre-trained Large Language Models: An Automated Assistant for Domain Modelers..- Language Models and Conceptual Modeling..- How Are LLMs Used for Conceptual Modeling? An Exploratory Study on Interaction Behavior and User Perception..- Small, Medium, and Large Language Models for Text-to-SQL..- Establishing Traceability between Natural Language Requirements and Software Artifacts by Combining RAG and LLMs..- Applications of Conceptual Modeling..- GenACT: An Ontology based Temporal Web Data Generator..- SAQI: An Ontology based Knowledge Graph Platform for Social Air Quality Index..- Conceptual Framework for Designing Hippocratic APIs..- The Role-Artifact-Function Framework for Understanding Digital Identity Models..- Ontological Foundations of Resilience..- Conceptual modelling method for digital twins.
£64.99
Springer Metamodeling for Extended Reality
Book Synopsis1. Introduction.- 2. State-of-the-Art and Related Work.- 3. Derivation of Generic Requirements for Metamodeling for Extended Reality.- 4 Specific Requirements for Metamodeling for Extended Reality.- 5. ARWFMM: A Modeling Method as an Example for Knowledge-Based Virtual and Augmented Reality.- 6. M2AR: An Architecture for a 3D Enhanced Metamodeling Platform for Extended Reality.- 7. Prototypical Realization of the M2AR Metamodeling Platform.- 8. Evaluation of the M2AR Platform Prototype.- 9. Summary and Outlook.
£132.99
£49.99
£59.99
Springer ProductFocused Software Process Improvement. Industry Workshop and Doctoral Symposium Papers
£44.99
Springer The AI Act and The Agile Safety Plan
£44.99
Springer Testing Software and Systems
£59.99
Springer ServiceOriented and Cloud Computing
Book Synopsis.- A Bio-Inspired Leader-based Energy Management System for Drone Fleets..- A Conceptual Framework for API Refactoring in Enterprise Application Architectures..- A Quantitative Privacy Evaluation Method Based on Tsallis Entropy for Trustworthy Data Sharing..- A Survey Study about the Impacts of Introducing a Microservices Cataloging Tool in a Large Software Development Unit..- Adaption via Selection: On Client Selection to Counter Concept Drift in Federated Learning..- Applying a Prompt Pattern Sequence for Decision-Making in Microservices Architectures..- Carbon-aware Software Services..- Comparative Analysis of Lightweight Kubernetes Distributions for Edge Computing: Performance and Resource Efficiency..- Comparative Analysis of Lightweight Kubernetes Distributions for Edge Computing: Security, Resilience and Developer Experience..- Deep Surrogate Models of Serverless Batch ProcessingServices..- Enhancing Failure Resilience of Cloud-Edge Microservices:The FREEDA Approach [work-in-progress research project]..- ML-Based Performance Modeling in Edge FaaS Systems..- pyStorageLess: Leveraging Von Neumann's Architecture to Abstract Storage Heterogeneity in Serverless Applications..- SafeAR: Privacy-maintaince in augmented reality applications (Submitted to Project Report Track)..- SemT: A Service Model for Tabular Data Enrichment..- TOSCARISMA: Modeling CARISMA-based Service Communication using TOSCA..- Towards Web Assembly-based Federated Learning..- Workflow-Net Compositions for the Analysis of Service-Oriented Systems.
£49.99
Springer Rebeca for Actor Analysis in Action
Book Synopsis-. Modelling Cyber-Physical Systems for Verification and Synthesis.-. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems. -. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic.-. Parallel Composition of Constraint Automata. -. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca. -. Verify Engineering Models, not Scientific Models. -. Black-box protocol testing using Rebeca and Automata Learning. -. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language.-. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata.-. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out. -. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems. -. Ten Years of Spatial Model Checking.
£59.99
Springer Fundamentals of Software Engineering
Book Synopsis.- Improved Gas Optimization of Smart Contracts..- Distributing Quantum Circuits Using Formal Methods..- Automated Test Generation: Taxonomy and Tool Applications..- Finding Universally Quantified Heap Invariants by Horn Clause Transformations..- A Framework for Model-Based Specification and Verification in Feature-Oriented Software Product Lines..- Extracting Formal Models for User’s Behaviors in Social Networks using Automata and Machine Learning..- Shielded Online Reinforcement Learning for Stormwater Detention Ponds..- On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic..- On time-sensitive control closure for secure information flow..- Automatic Generation of Loop Invariants in Dafny with Large Language Models..- Streamlining Parameter Tuning in Full-Body Racing Simulators with an Automated Pipeline..- Formally Verified Verifiable Group Generators.
£108.30
Springer From Data to Models and Back
Book Synopsis.- Domain specific Modeling and Analysis..- Integrated Data Representation and Formal Analysis for Human and In Silico Experimentation in Cognitive Psychology..- Probabilistic Model Checking of Temporal Interaction Dynamics in the Supreme Court..- Extracting cyber threat intelligence from social media with case studies in Twitter/X and Reddit..- System Biology..- Attractor and Slicing Analysis of a T Cell Differentiation Model Based on Reaction Systems..- Preliminary Results on Shapley Value Notions and Propagation Methods for Boolean Networks..- Formal Methods in Healthcare..- Towards a Flexible Approach for Understanding and Comparing Traces..- Modelling and Verification of an Application for Managing Sensitive Health Data..- Natural Language Processing..- Evaluating Large Language Models and Prompt Variants on the Task of Detecting Cease and Desist Violations in German Online Product Descriptions.
£96.50
Springer Simulation Tools and Techniques
Book SynopsisSimulation Tools and Methods.- Sim-Learnheuristics: A Tool for Decision Making under Stochastic and Dynamic Conditions.- The Role of Interfaces in Modelling.- Interfaces in Ecosystems: Concepts, Form, and Implementation.- Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning.- Traffic Simulations.- Integrating Simulation and AI for Optimal Electric Vehicle Charging Infrastructure: Achievements and Future Directions.- Integrating Fast Electric Vehicle Charging and Charge-Site Power-Limiting in SUMO.- A Simheuristic for the Stochastic Multi-Depot Traveling Facility Location Problem with Electric Vehicles.- Effect of Maintenance and Failure on Electrical Vehicles Charging Scheduling at an Airport.- Validation and Verification Techniques in Simulation Modelling for Freight Transportation.- Logistics and Manufacturing.- A Simulation-Optimisation Tool for Routing Drones in Realistic Conditions.- AKRIMA - An Automated Adaptive System for Crisis Monitoring and Management.- ARMS: Activity-Resource Modelling Simulator.- Improvements to the Region-based Petri Nets Synthesis Algorithm for Process Mining.- Cross-Dataset Generalization: Bridging the Gap Between Real and Synthetic LiDAR Data.- Robotics Simulations.- On the Simulation of a Neuromorphic Robotic Arm with Dynamic Control for Rapid Trajectories Evaluation.- On Implementing the Sparse Events Closed-Loop Control Theory for the CartPoleSimulation.- Simulation and Operation of a 6DoF Robotic Arm: A Microservices Approach.- Flexible Visualization for Modular Autonomy Cores of Autonomous Robot Swarms.- Applications of Simulations.- A653MSim: An ARINC 653 Multicore Simulator.- Docker-based Web Service to Aid Prostate Cancer Diagnosis using Deep-learning Techniques.- Seamless Data Persistence in Simulation Models: A Metaprogramming Approach in Julia.- Network Simulations.- Positioning of a Next Generation Mobile Cell to Maximise Aggregate Network Capacity.- Dynamic Data Radio Bearer Management for O-RAN Slicing in 5G Standalone Networks.- CyReal: A Unified Framework for Continuous Evaluation of Simulations, Emulations, and Real Systems.- JASPER: An Agent-Based Simulation Tool for Test and Evaluation of Jammer-Angle Allocation Algorithms.- Barriers and Challenges of Network Simulation Tools: A Case Study on CORE/EMANE.
£104.49
Springer Model and Data Engineering
Book Synopsis.- AI-Enabled Systems..- Arabic Mispronunciation Detection for Children in Noisy Environments via Vision Transformers..- BaitBlock: Hybrid AI-Approach for Phishing Detection Across Communication Platforms..- Stacked Generalization for Overlapping Asymmetric Datasets..- Security and Privacy..- Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B..- Towards Specification and Analysis of Dependable Cyber-Physical Systems..- The Use of Domain Specific Language for Critical Infrastructures Cyber Security Modeling: Literature Review..- A Tool-supported Methodology for Creating Security Cases Using Argument Patterns..- Query Processing..- In-Memory Spatial-Keyword Indexing and Querying: An Experimental Evaluation..- Critical Role of Data Transformation in Preprocessing: Methods, Algorithms, and Challenges..- Prediction..- Forecasting Patient Arrivals in Emergency Departments Using Time Series Prediction Models: A Research at a Tunisian Emergency Department..- AI-Enhanced Urban Crime Prediction: Exploring the Impact of Integrating Digital Behaviour and Economic Data..- Application of Artificial Intelligence in Minimizing Voltage Deviation using Neural Network Predictive Controller..- Conceptual issues..- Multilevel Hypergraph Databases Conceptual Modelling - Approaching CRUD Operations..- A GNN-based framework for Ontology Matching..- A New Measurement Method for Sizing the Behavioural of BPMN Models..- Applications..- A Multi-Label Classification Framework for Socioeconomic Insights Using Mobile Traffic and POI Data..- Comparative Analysis of Multivariate Time Series Forecasting Methods for Modeling Plastic Extruder Behavior..- Transferring Practitioners’ Learning Experiences to Preserve and Promote Equine Knowledge Heritage.
£108.30
Springer From Data to Models and Back
Book Synopsis?.- A Critique on Transductive Evaluation for GNN Node Classification..- Gene Importance Assessment based on Shapley Values for Boolean Networks: Validation and Scalability Analysis..- Modelling COVID 19 with a SIR Variant using Real-World Data: a Case Study in Brazil..- Verifying properties of Activities of Daily Living..- Explaining Pain: on the Impact of Physiological Signals in Pain Prediction..- Exploring the Trade Offs in ECG Biometrics: Impact of Acquisition Time and Temporal Separation..- Risk Management and Process Optimization in Industry 4.0: Integrating Sensors with Critical Path and FMEA..- Beyond Flattening: Detecting Concurrency Anomalies Using K NN Graph-based Modeling in Object Centric Event Logs..- Towards Achieving Energy Efficiency and Service Availability in 6G O RAN via Formal Verification.
£105.50
Springer Balancing Software Innovation and Regulatory Compliance
Book SynopsisKeynote.- Why Digitalization Will Kill Your Company Too.- Model-Based Software Testing.- Model-Based Test Design in SysML for System Requirements Verification and Validation (Full Paper).- Effective Black Box Testing of Sentiment Analysis Classification Networks (Short Paper).- Machine Learning and Large Language Models.- Automating Invariant Filtering: Leveraging LLMs to Streamline Test Oracle Generation (Full Paper).- Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures (Full Paper).- Security and Compliance.- Trusted Provenance with Blockchain Technology: A Systematic Literature Review (Short Paper).- Academic-Industry Collaborations.- Experiences Applying Lean R&D in Industry-Academia Collaboration Projects (Full Paper).
£94.99
£34.99
Springer Applying Requirements and Business Analysis
Book SynopsisIntroduction.-- Presentation of the PEGS Approach.- Object-Oriented Requirements.- Quality and Verification Criteria for Requirements.- Case Studies.- Lessons learned.- Appendices.
£44.99
Springer Go Where the Bugs Are
£59.99
Springer NASA Formal Methods
Book SynopsisEnforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types.- Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.- Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust.- Verification of an Anti-Unification Algorithm in PVS.- Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators.- Vellvm: Formalizing the Informal LLVM (Experience Report).- Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications.- Mode-based Reactive Synthesis.- Reusable Formal Verification of DAG-based Consensus Protocols.- A Streamlined, Formal Approach to Requirements-based Testing.- Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints.- Querying Labeled Time Series Data with Scenario Programs.- Formal Verification as a Service: A CERN-GSI Case Study.- Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control.- Rare Event Simulation for Stochastic Hybrid Systems using Symbolic Importance Functions.- Algorithmic Analysis of Event-B in Rewriting Logic.- HyTwin: A Formal Semantics for Digital Twin Interventions in ICS Based on Time-to-Violation.- Language Partitioning for Mission-time Linear Temporal Logic.- Visualizing Temporal Interval Hierarchies.- Mechanized RS274 semantics for additive manufacturing.- An SMT Formalization of Mixed-Precision Matrix Multiplication (Modeling Three Generations of Tensor Cores).- TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.- Extending Dynamic Logics with First-Class Relational Reasoning.- Automata Size Reduction by Procedure Finding.
£104.49
£34.99
Springer Software Engineering and Formal Methods. SEFM
Book SynopsisReacTS 2024ReacTS 2024 Organizers’s Message.- Behavioural Equivalences over Reconfigurable Systems.- Graph Games and Dynamic Logics.- Arbitrary Radical Upgrades.- Binders for switch graphs specification.- Higher-order arrows for Path-Dependent Many-Valued Systems.- Towards resolving distributed beliefs.- A new fuzzy approach to transition and bisimulation systems.- Pivotal Rules Consequence in Action Model Logic.- Paraconsistent Reactive Graphs.- Reconfiguring staggered quantum walks with ZX?.- Many-logic modal structures based on the lattice L6: a first look.- CIFMA 2024CIFMA 2024 Organizers’s Message.- On group secrets and the metacommunicative aspects of revealing a true secret.- Explicit Legg-Hutter intelligence calculations which suggest non-Archimedean intelligence.- Cognitive Aspects in the Formal Modelling of Multi-party Human-computer Interaction.- On the Morphic Problem in Artificial Neural Networks.- Time Factor in Neural Learning Processes.- How Does Culture Shape the Perception of Social Robots?.- Executive Cognitive Control of Free Choices.- Towards a Readability Criterion for Humans and Machines.- From birth to loss of representations in artificial neural networks.
£64.99
Springer EndUser Development
Book Synopsis.- Automation, Sustainability, and Smart Environments..- An EUD Approach to Creating Feasible and Energy-saving Automations for Smart Homes..- End-User Customization of Trigger-Action Rules through Fine-Tuned LLMs..- Explaining Problems in Daily Automations with ExplainTAP..- Conversational Rule Creation in XR: User’s Strategies in VR and AR Automation..- From User Needs to Smart Ecosystems through LLMs: the Smartifier Case Study..- Assembly Workers as PLC Programmers: What End Users Need to Understand about Low-Code Development Platforms..- Democratizing AI and Programming..- Fostering Novice Collaboration in ML-Based System Design Through Visual Languages and Touch Interfaces..- Visual and Textual Language Synchronization for End-User Programming Environments..- OMNI: an EUD tool for Ontological Multisensory Navigation Interface..- Explanation-Driven Interventions for Artificial Intelligence Model Customization: Empowering End-Users to Tailor Black-Box AI in Rhinocytology..- Evaluating Visual Prompting Modalities for Generative AI-Assisted UI Design..- AI for End-User Empowerment: Personalization andWellbeing..- Beyond Usability: IntroducingWellbeing-Driven End-User Development Design..- AI-Assisted Cognitive Support for Caregivers: A RAG and EUD Framework for Geriatric Care..- From Digital Self-Control Apps to iOS Shortcuts: Enabling Privacy-Centric Wellbeing Research Without Code..- Empowering End Users to Design for Their Digital Self-Control..- Leveraging EUD and Generative AI for Ethical Phishing Campaigns..- Classifying User Motivation in Interactions..- EUD Principles, Methodologies, and Participatory Cultures..- Mindsets, Cultures, and Technologies in Support of End-User Development..- Assessing Computational Thinking Skills through Artefacts: the Case of ModeLLer..- Scenario-Based Design Tools: End-User Reflections to Requirements..- Defining Classes and Semantic Relationships from User Scenarios through a Heuristic Approach.
£104.49
Springer Formal Techniques for Distributed Objects Components and Systems
Book Synopsis.- tutorial paper..- A Choreographic View of Smart Contracts..- regular papers..- Temporal and Spatial Fault Detection for Connected Cyber-Physical Systems..- Sequential Composition of BDD Transition Systems for Model-Based Testing..- Scaling Information Flow Control by-Construction to Component-based Software Architectures..- Noninterference Analysis of Stochastically Timed Reversible Systems..- Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems..- Probabilistic Safety Verification of Distributed Systems: A Statistical Approach for Monitoring..- Towards Efficient Verification of Parallel Applications with Mc SimGrid..- Revisited Convergence of a Self-Stabilizing BFS Spanning Tree Algorithm..- short papers..- Choreographies for Program Understanding..- An Approach to Formalize Information-theoretic Security of Multiparty Computation Protocols..- SNexpression: a new component for SN matrix-based structural analysis..- Assessing Code Understanding in LLMs..- LolaPrompts: Assisting the General Public in Performing Real-Driving Emission Tests.
£49.99
Springer Distributed Applications and Interoperable Systems
Book Synopsis.- A critical review of mobile device-to-device communication..- Multi-provider capabilities in EnOSlib: driving distributed system experiments on the edge-to-cloud continuum..- Mitigating Cryptographic Bottlenecks of Low-latency BFT Protocols..- BCProf: Battery Consumption Profiler for Android Applications..- GT-LSTM: Integrating High-Resolution Particulate Matter Data for Urban Air Quality Forecasting..- Justin: Hybrid CPU/Memory Elastic Scaling for Distributed Stream Processing..- AIo RT: AI-driven distributed system for heterogenous Internet of Robotic things in Sustainable Ecosystem.
£44.99
Springer ModelBased Software and Systems Engineering
Book Synopsis.- Methodologies, Processes and Platforms..- A Framework for Comparative Analysis of News Content: A Model-Based Approach..- Analyzing Side-Tracking of Developers Using Object-Centric Process Mining..- Enhancing Scenario-Based Modeling Using Large Language Models..- Model-Driven Development of Chatbot Microservices..- DynaTool: A Tool for Optimizing Hybrid Software Process..- Modeling Languages, Tools and Architectures..- Specifying, Analysing and Implementing Decision-Support System Architectures..- An Approach for the Comparative Evaluation of RequirementsFormalisation Approaches..- A Pluggable Type Checker for Representing Kinds of Quantities..- Model-Driven Engineering for Data Provenance: A Graphical W3C PROV Modeling Tool..- LLM as a Code Generator in Agile Model Driven Development..- A Modeling Framework for Hardware-Software Systems with Machine Learning Components..- Code Generation for Smart Contracts in Enterprise Application Integration..- Deploying Machine Learning for Automatic Metamodel Instance Generation.
£59.99
Springer Theoretical Aspects of Software Engineering
Book Synopsis.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness..- Dependent Assertion Logic for Modular Software Verification..- A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms..- Machine-Checked Compositional Specification and Proofs for Embedded Systems..- Verification and Concurrency..- Failure divergence refinement for Event-B.- Mining Diamonds in labeled Transition Systems..- Portability of Optimizations from SC to TSO..- SAT and SMT Solving..- Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification..- SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses..- Trustworthy AI and System Software..- Robust Deep Reinforcement Learning Using Formal Verification..- A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq..- COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation..- Stable Ranges: Shared Dichotomy in Large Version-Controlled Repositories..- Program Analysis using Machine Learning..- CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection..- FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models..- Security..- A Cross-domain Data Sharing Scheme Based on Federated Blockchain..- Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs..- Detecting speculative data flow vulnerabilities using weakest precondition reasoning..- Dynamic Analysis..- Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation..- State Significance-Guided Fuzzing for Stateful Protocol Program..- Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal.
£61.74
Springer-Verlag GmbH Handson Software Architecture
£46.75
Springer MachineLearningAssisted Software Defect Prediction
Book Synopsis1. Introduction.- 2. Categories of Defect Prediction.- 3. Feature Representation-based Defect Prediction.- 4. Class Imbalanced Learning-based Defect Prediction.- 5. Cross-Version Defect Prediction.- 6. Cross-Project Defect Prediction.- 7. Effort-Aware Defect Prediction.- 8. Conclusion and Future Work.
£170.99
Springer Virtual Reality and Mixed Reality
£59.99
Springer-Verlag GmbH Frontiers of Combining Systems
£999.99
Springer-Verlag GmbH Software Engineering and Advanced Applications
£81.17
Springer-Verlag GmbH Software Engineering and Advanced Applications
£73.25
Springer Nature Switzerland Edge Computing Edge 2025
£42.74
Springer Nature Switzerland AG Journeys Between Formal Methods and the Railway Industry
£80.74