Software Engineering Books
Springer International Publishing AG Human-Centered Software Engineering: 9th IFIP WG
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.
£52.24
Springer International Publishing AG Formal Methods for Industrial Critical Systems:
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.
£52.24
Springer International Publishing AG Virtual Reality and Mixed Reality: 19th EuroXR
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.
£42.74
Springer International Publishing AG Formal Methods and Software Engineering: 23rd
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.
£42.74
Springer International Publishing AG Advances in Practical Applications of Agents,
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.
£42.74
Springer International Publishing AG Product-Focused Software Process Improvement:
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.
£75.99
Springer International Publishing AG Software Engineering Application in Systems
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.
£142.49
Springer International Publishing AG Data Science and Algorithms in Systems:
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.
£151.99
Springer International Publishing AG Computer Aided Systems Theory – EUROCAST 2022:
Book SynopsisThis book constitutes the refereed proceedings of the 18th International Conference on Computer-Aided Systems Theory, EUROCAST 2022, held in Las Palmas de Gran Canaria, Spain, during February 20–25, 2022. The 77 full papers included in this book were carefully reviewed and selected from 110 submissions. They were organized in topical sections as follows: Systems Theory and Applications, Theory and Applications of Metaheuristic Algorithms, Model-Based System Design, Verification and Simulation, Applications of Signal Processing Technology, Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility, Computer Vision, Machine Learning for Image Analysis and Applications, Computer and Systems Based Methods and Electronic Technologies in Medicine, Systems in Industrial Robotics, Automation and IoT, Systems Thinking. Relevance for Technology, Science and Management Professionals.Table of ContentsSystems Theory and Applications.- Transdisciplinary Software Development for Early Crisis Detection.- Uncertainty and Ambiguity: Challenging Layers in Model Construction.- George J. Boole. A Nineteenth Century Man for the Modern Digital Era.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Improvement of Electromagnetic Systems by Werner Von Siemens.- Theory and Applications of Metaheuristic Algorithms.- Multi-criteria Optimization of Workflow-based Assembly Tasks in Manufacturing.- Lightweight Interpolation-Based SurroImproving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints.- gate Modelling for MultiObjective Continuous Optimisation.- Analysis and Handling of Dynamic Problem Changes in OpenEnded Optimization.- Dynamic Vehicle Routing with Time-Linkage: From Problem States to Algorithm Performance.- Dynamic Fitness Landscape Analysis.- A Relative Value Function Based Learning Beam Search for Longest Common Subsequence Problem.- Multi-day Container Drayage Problem with Active and Passive Vehicles.- On Discovering Optimal Trade-Offs when Introducing New Routes in Existing Multi-Modal Public Transport Systems.- A Mathematical Model and GRASP for a Tourist Trip Design Problem.- A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters.- Shapley Value based Variable Interaction Networks for Data Stream Analysis.- Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization.- Comparing Shape-Constrained Regression Algorithms for Data Validation.- Shape-constrained Symbolic Regression with NSGA-III.- Using Explainable Artificial Intelligence for Data Based Detection of Complications in Records of Patient Treatments.- Identifying Differential Equations to predict Blood Glucose using Sparse Identification of Nonlinear Systems.-Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and sparse identification.- Model-Based System Design, Verification and Simulation.- Modeling Approaches for Cyber Attacks on Energy Infrastructure.- Simulation setup for a closed-loop regulation of neuro-muscular blockade.- Textile In The Loop as Automated Verification Tool for Smart Textiles Applications.- Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.- Automata with Bounded Repetition in RE2.- Integrating OSLC Services into Eclipse.- Developing an Application in the Forest for New Tourism Post COVID-19.- GPU-Accelerated Synthesis of Probabilistic Programs.- Static Deadlock Detection in Low-Level C Code.- Applications of Signal Processing Technology.- 3D Ultrasound Fingertip Tracking.- An Artificial Skin from Conductive Rubber.- Neural Network Based Single-Carrier Frequency Domain Equalization.- Smooth Step Detection.- Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen.- Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed.- Artificial Intelligence and Data Mining for Intelligent Transportation Systems and Smart Mobility.- JKU-ITS Automobile for Research on Autonomous Vehicles.- Development of a ROS-based Architecture for Intelligent Autonomous on Demand Last Mile Delivery.- Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR data.- Deep Learning Data Association Applied to Multi-Object Tracking Systems.- A Methodology to Consider Explicitly Emissions in Dynamic User Equilibrium Assignment.- Sensitivity Analysis for A Cooperative Adaptive Cruise Control Car Following Model: Preliminary Findings.- On Smart Mobility and Data Stream Mining.- Smart Vehicle Inspection.- Computer Vision, Machine Learning for Image Analysis and Applications.- Impact of the Region of Analysis on the Performance of the Automatic Epiretinal Membrane Segmentation in OCT Images.- Performance Analysis of GAN approaches in the Portable Chest X-ray synthetic image generation for COVID-19 screening.- Clinical Decision Support tool for the Identification of Pathological Structures Associated with Age-related Macular Degeneration.- Deep Features-based approaches for Phytoplankton Classification in Microscopy Images.- Robust Deep Learning-based Approach for Retinal layer Segmentation in Optical Coherence Tomography Images.- Impact of increased centerline weight on the Joint segmentation and classification of arteries and veins in color fundus images.- Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset.- Gait Recognition using 3D View-Transformation Model.- Segmentation and Multi-Facet Classification of Individual Logs in Wooden Piles.- Drone Detection Using Deep Learning: A Benchmark Study.- Computer and Systems Based Methods and Electronic Technologies in Medicine.- Continuous Time Normalized Signal Trains for a Better Classification of Myoelectric Signals.- A Comparison of Covariate Shift Detection Methods on Medical Datasets.- Towards a Method to Provide Tactile Feedback in Minimally Invasive Robotic Surgery.- Reference Datasets for Analysis of Traditional Japanese and German Martial Arts.- A Novel Approach to Continuous Heart Rhythm Monitoring for Arrhythmia Detection.- Indoor Positioning Framework for Training Rescue Operations Procedures at the Site of a Mass Incident or Disaster.- Designing sightseeing support system in Oku-Nikko using BLE beacon.- Systems in Industrial Robotics, Automation and IoT.- Mixed Reality HMI for Collaborative Robots.- A Digital Twin Demonstrator for Research and Teaching in Universities.- Robot System as a Testbed for AI Optimizations.- An Architecture for Deploying Reinforcement Learning in Industrial Environments.- Ck-continuous Spline Approximation with TensorFlow Gradient Descent Optimizers.- Stepwise Sample Generation.- Optimising Manufacturing Process with Bayesian Learning and Knowledge Graphs.- Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems.- Improvements for mlrose Applied to the Traveling Salesperson Problem.- Survey on Radar Odometry.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Systems Thinking. Relevance for Technology, Science and Management Professionals.- Crisis Management in a Federation – Cybernetic Lessons from a Pandemic.- Using Archetypes to Teach Systems Thinking in an Engineering Master’s Course.- Collecting vs Sharing of Personal Data: Examining the Implications to the Society.
£75.99
Springer International Publishing AG Formal Methods: 25th International Symposium, FM
Book SynopsisThis book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. Table of ContentsKeynotes.- Symbolic Computation in Automated Program Reasoning.- The next big thing: from embedded systems to embodied actors.- Intelligent and Dependable Decision-Making Under Uncertainty.- A Coq formalization of Lebesgue Induction Principle and Tonelli’s Theorem.- SAT/SMT.- Railway Scheduling Using Boolean Satisfiability Modulo Simulations.- SMT Sampling via Model-Guided Approximation.- Efficient SMT-based Network Fault Tolerance Verification.- Verification I.- Formalising the Prevention of Microarchitectural Timing Channels by Operating Systems.- Can we Communicate? Using Dynamic Logic to Verify Team Automata.- The ScalaFix equation solver.- HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.- Quantitative Verification.- symQV: Automated Symbolic Verification of Quantum Programs.- PFL: a Probabilistic Logic for Fault Trees.- Energy Buechi Problems.- QMaude: quantitative specification and verification in rewriting logic.- Concurrency and Memory Models.- Minimisation of Spatial Models using Branching Bisimilarity.- Reasoning about Promises in Weak Memory Models with Event Structures.- A fine-grained semantics for arrays and pointers under weak memory models.- VeyMont: Parallelising Verified Programs instead of Verifying Parallel Programs.- Verification 2.- Verifying At the Level of Java Bytecode.- Abstract Alloy Instances.- Monitoring the Internet Computer.- Word Equations in Synergy with Regular Constraints.- Formal Methods in AI.- Verifying Feedforward Neural Networks for Classification in Isabelle/HOL.- SMPT: A Testbed for Reachabilty Methods in Generalized Petri Nets.- The Octatope Abstract Domain for Verification of Neural Networks.- Program Semantics and Verification Technique for AI-centred Programs.- Safety and Reliability.- Tableaux for Realizability of Safety Specifications.- A Decision Diagram Operation for Reachability.- Formal Modelling of Safety Architecture for Responsibility-AwareAutonomous Vehicle via Event-B Refinement.- A Runtime Environment for Contract Automata.- Industry Day.- Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny.- Shifting Left for Early Detection of Machine-Learning Bugs.- A Systematic Approach to Automotive Security.- Specification-Guided Critical Scenario Identification for Automated Driving.- Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks.- Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.- veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System.
£75.99
Springer International Publishing AG An Introduction to Software Design: Concepts,
Book SynopsisThis textbook provides a balanced coverage on software design, including design principles, methodologies, and techniques in contexts of designing modules of small and larger sizes with a multi-paradigm viewpoint emphasizing design trade-off. Commonly used design diagrams and patterns are also covered in terms of the design ideas behind and their effective use. The book also explores what (software) design thinking is, the role it plays in a design process, and ways to promote it. Despite object orientation being still the center of attention, there is a strong promotion throughout the book that software design should consider all appropriate design paradigms and methodologies.The book is organized in 10 chapters. Chapter 1 is dedicated to an exploration of what software design may be and entail. Next, chapters 2 and 3 are designed to help readers better understand object orientation, and the essentials of object-oriented design. Chapter 4 is then dedicated to the design of methods, while chapters 5, 6, and 8 respectively include topics about the design of objects, modeling with the Unified Modeling Language, and the use of design patterns. Larger software elements are often directly responsible for the formation of software architecture, thus chapter 7 covers four kinds of larger software elements: libraries, components, frameworks, and microservices, and their architectural implications. Chapter 9 finally brings the presentation of software design to an end with a coverage on software architecture focusing on software architectural views. Case studies are important in learning how to design software, hence chapter 10 then gathers some small design case studies that can be used in earlier chapters as appropriate. These case studies can be extended in different ways to provide additional design opportunities.This textbook book is intended for a junior level undergraduate course on software design, yet the depth of the book makes it also appropriate for a design course at beginning graduate level. Professionals may also find the book useful in their professional development.Table of Contents- 1. What Is Software Design?. - 2. The Paradigm of Object Orientation and Beyond. - 3. Essentials of Object-Oriented Design. - 4. Design of Methods. - 5. Design of Objects. - 6. Software Modeling Languages and Tools. - 7. Design of Larger Software Elements. - Software Design Patterns. - 9. Software Architecture and Architectural Views. - 10. Design Case Studies.
£47.49
Springer International Publishing AG Structured Object-Oriented Formal Language and
Book SynopsisThis book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2022, held in Madrid, in October 2022.The 12 revised full papers included in the volume were carefully reviewed and selected from 26 submissions. They are organized in the following topical sections: Model Checking & Markov Decision Process; Model Analysis & Tool Implementation; Formal Specification & Testing; Algorithms & Verification. .Table of ContentsModel Checking & Markov Decision Process.- Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.- An Approach of Transforming Non-Markovian Reward to Markovian Reward.- A JPSL based Model Checking Approach for Java Programs.- Model Analysis & Tool Implementation.- Implementation of Matlab matfun Toolkit Based on MSVL.- Extending Visibly Pushdown Automata over Multi-matching Nested Relations.- Schedulability analysis of rate-monotonic algorithm on concurrent execution of digraph real-time tasks.- Formal Specification & Testing.- Formalization of natural language into PPTL specification via neural machine translation.- Testing Program Segments to Detect Runtime Exceptions in Java.- Inferring Exact Domains to Efficiently Generate Valid Test Cases via Testing.- Algorithms & Verification.- Testing and Verifying the security of COVID-19 CT Images Deep Learning System with Adversarial Attack.- Verifying and improving neural networks using testing-based formal verification.- Alternating Projection Temporal Epistemic Logic.
£42.74
Springer International Publishing AG Requirements Engineering: Foundation for Software
Book SynopsisThis book constitutes the refereed proceedings of the 29th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2023, which took place in Barcelona, Spain, during April 17-20, 2023.The 12 full technical design and scientific evaluation papers, 8 short research previews and vision papers, and 5 experience reports presented in this volume were carefully reviewed and selected from 78 submissions. They were organized in topical sections as follows: Requirements communication and conceptualization; NLP and machine learning for AI; RE for artificial intelligence; crowd RE; and RE in practice.Table of ContentsRequirements Communication and Conceptualization.- Requirements Engineering Issues Experienced by Software Practitioners: A Study on Stack Exchange.- An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.- Supporting Shared Understanding in Asynchronous Communication Contexts.- Bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in Software Evolution.- Understanding the Role of Human-Related Factors in Security Requirements Elicitation.- Scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements.- NLP and Machine Learning for AI Using Language Models for Enhancing the Completeness of Natural-language Requirements.- Requirement or not, that is the question: A case from the railway industry 97.- Summarization of Elicitation Conversations to Locate Requirements Relevant Information.- Ontology-based Automatic Reasoning and NLP for Tracing Software Requirements into Models with the OntoTrace Tool.- Requirements classi cation using fastText and BETO in Spanish documents.- RE for Artificial Intelligence.- Exploring Requirements for Software that Learns: A Research Preview.- Requirements Engineering for Automotive Perception Systems: an Interview Study.- An investigation of challenges encountered when specifying training data and runtime monitors for safety critical ML applications.- A Requirements Engineering Perspective to AI-based Systems Development: A Vision Paper.- Out-of-Distribution detection as Support for Autonomous Driving Safety Lifecycle.- Crowd RE.- Automatically Classifying Kano Model Factors in App Reviews.- Data-driven Persona Creation, Validation, and Evolution.- Towards a Cross-Country Analysis of Software-related Tweets.- Integrating Implicit Feedback into Crowd Requirements Engineering - a Research Preview.- RE in Practice.- Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft.- Knowns and Unknowns: An Experience Report on Discovering Tacit Knowledge of Maritime Surveyors.- Feel It, Code It: Emotional Goal Modelling for Inclusive Design.- A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report.- Eliciting Security Requirements - an Experience Report.
£56.99
Springer International Publishing AG Fundamental Approaches to Software Engineering:
Book SynopsisThis open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .Table of ContentsRegular Contributions.- ACoRe: Automated Goal-Conflict Resolution.- Nazareno Aguirre, Yves Le Traon and Mike Papadakis A Modeling Concept for Formal Verification of OS-Based Compositional Software.- Guldstrand Larsen and Marcel Baunach Compositional Automata Learning of Synchronous Systems.- Front-end JavaScript.- Democratizing Quality-Based Machine Learning Development through Extended Feature Models.- Efficient Bounded Exhaustive Input Generation from Program APIs.- Feature-Guided Analysis of Neural Networks.- JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.- Model-based Player Experience Testing with Emotion Pattern Verification.- Opportunistic Monitoring of Multithreaded Programs.- Parallel Program Analysis via Range Splitting.- Wehrheim Runtime Enforcement Using Knowledge Bases.- Specification and Validation of Normative Rules for Autonomous Agents.- Towards Log Slicing.- VAMOS: Middleware for Best-Effort Third-Party Monitoring.- Yet Another Model! A Study on Model’s Similarities for Defect and Code Smells.- Competition Contributions.- Software Testing: 5th Comparative Evaluation: Test-Comp 2023.- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.
£33.24
Springer International Publishing AG Research Challenges in Information Science:
Book SynopsisThis book constitutes the proceedings of the 17th International Conference on Research Challenges in Information Sciences, RCIS 2023, which took place in Corfu, Greece, during May 23–26, 2023. It focused on the special theme "Information Science and the Connected World".The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice. The 28 full papers presented in this volume were carefully reviewed and selected from a total of 87 submissions. The book also includes 15 Forum papers and 6 Doctoral Consortium papers. The contributions were organized in topical sections named: Requirements; conceptual modeling and ontologies; machine learning and analytics; conceptual modeling and semantic networks; business process design and computing in the continuum; requirements and evaluation; monitoring and recommending; business process analysis and improvement; user interface and experience; forum papers; doctoral consortium papers. Two-page abstracts of the tutorials can be found in the back matter of the volume. Table of ContentsRequirements.- Goal Modelling: Design and Manufacturing in Cloud Migration High-Level Requirements.- Idea Browsing on Digital Participation Platforms: A Mixed-methods Requirements Study.- Conceptual modeling and ontologies.- What Do Users Think about Abstractions of Ontology-Driven Conceptual Models.- On the Semantics of Risk Propagation.- The omnipresent role of technology in social-ecological systems: ontological discussion and updated integrated framework.- Machine Learning and Analytics.- Detection of fishing activities from vessel trajectories.- Framework for Blockchain Data Analysis.- Reinforcement learning for scriptless testing: An empirical investigation of reward functions.- Conceptual modeling and semantic networks.- DBSpark: A system for natural language to SPARQL translation.- An Automated Patterns-based Model-to-Model Mapping and Transformation System for Labeled Property Graphs.- Improving Conceptual Domain Characterization in Ontology Networks.- Business Process Design and Computing in the Continuum.- Digital Technology-Driven Business Process Redesign: A Classification Framework.- Supporting the Implementation of Digital Twins for IoT-Enhanced BPs.- Context-Aware Digital Twins to Support Software Management at the Edge.- Adoption of Virtual Agents in Healthcare E-commerce: a Perceived Value Perspective.- Requirements and Evaluation.- Addressing Trust Issues in Supply-Chain Management Systems through Blockchain Software Patterns.- Evaluating Process Effciency with Data Envelopment Analysis: a Case in the Automotive Industry.- A Model of Qualitative Factors in Forensic-Ready Software Systems.- Monitoring and recommending.- Monitoring object-centric Business Processes: An Empirical Study.- A Peekinto the Working Day: Comparing Techniques for Recording Employee Behaviour.- Context-aware recommender systems: aggregation-based dimensionality reduction.- Business processes analysis and improvement Discovery of Improvement Opportunities in Knock-out Checks of Business Processes.- Persuasive Visual Presentation of Prescriptive Business Processes.- TraVaG: Differentially Private Trace Variant Generation Using GANs.- User interface and experience.- When Dashboard’s Content Becomes a Barrier - Exploring the Effects of Cognitive Overloads on BI Adoption.- The effect of visual information complexity on urban mobility intention and behavior.- Interoperability of Open Science Metadata: what about the reality.- Forum papers. -Online-Notes System: Real-time speech recognition and translation of lectures.- Temporal relation extraction from clinical texts using knowledge graphs.- Domain TILEs: Test Informed Learning with Examples from the Testing Domain.- Using GUI change detection for delta testing.- Enterprise Modeling for Machine Learning: Case-based Analysis and Initial Framework Proposal.- Towards Creating a Secure Framework for Building Mirror World Applications.- Towards a Secure and Privacy compliant Framework for Educational Data Mining.- Internet of Cloud (IoC): The need of raising privacy and security awareness.- Comparative study of unsupervised keyword extraction methods for job recommendation in an industrial environment.- A Meta-model for Digital Business Ecosystem Design.- Students in Team-Based Software Development Projects: An Exploratory Study.- Ontology of Product Provenance for Value Networks.- A Data Value Matrix: Linking FAIR Data with Business Models.- An Information Privacy Competency Model for Online Consumers.- DECENT: A Domain Specific Language to Design Governance Decisions.- Doctoral Consortium papers.- Business User-oriented Recommender System of Data.- Secure infrastructure for cyber-physical ranges.- Guidelines for Developers and Recommendations for Users to Mitigate Phishing Attacks: An Interdisciplinary Research Approach.- Leveraging Exogeneous Data for the Predictive Monitoring of IT Service Management Processes.- Predicting privacy decisions in mobile applications and raising users’ privacy awareness.- Information overload: Coping mechanisms and tools impact.
£67.49
Springer International Publishing AG Agile Processes in Software Engineering and
Book SynopsisThis open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.Table of ContentsAgile Practices.- Integrating Issue Management Systems of Independently Developed Microservices.- A novel technique to assess Agile systems for stability.- Overcoming Challenges of Virtual Scrum Teams: Lessons Learned Through an Action Research Study.- Waste Self-Reporting for Software Development Productivity Improvement.- A Lean Approach of Managing Technical Debt in Agile Software Projects – A proposal and empirical evaluation.- An Empirical Study about the Instability and Uncertainty of Non-functional Requirements.- Agile in the Large.- Striving for Freedom in a Large-scale Agile Environment with an Entrepreneurial Mindset of a Product Owner.- Sustaining agility: organizational change, factors and theoretical lenses.- The Role of Responsiveness to Change in Large Onboarding Campaigns.- Organisational conflicts in the adoption of continuous software engineering.- Agile Interdisciplinary Product Teams: Overcoming Juridical Hurdles in the Early Phase of Public Sector Datafication.- Short Paper.- Real-life Water-Scrum-Fall: Insights from Large Companies in Czech Republic.
£33.24
Springer International Publishing AG End-User Development: 9th International
Book SynopsisThis book constitutes the refereed proceedings of the 9th International Symposium on End-User Development, IS-EUD 2023, held in Cagliari, Italy, during June 6–8, 2023.The 17 full papers and 2 (keynote extended abstracts) included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Artificial Intelligence for End-Users; Internet of Things for End-Users; Privacy; Security and Society; Supporting End-User Development.Table of ContentsArtificial Intelligence for End-Users.- Adaptive and Adaptable Systems: Differentiating and Integrating AI and EUD.- End-User Development for Artificial Intelligence: A Systematic Literature Review.- Human-AI Co-Creation: Evaluating the Impact of Large-scale Text-to- Image Generative Models on the Creative Process.- Leveraging Large Language Models for End User Website Generation.- Internet of Things for End-Users.- Defining Trigger-Action Rules via Voice: a Novel Approach for End-User Development in the IoT.- Language and Temporal Aspects: A Qualitative Study on Trigger Interpretation in Trigger-Action Rules.- Understanding Concepts, Methods and Tools for EndUser Control of Automations in Ecosystems of Smart Objects and Services.- Understanding User Needs in Smart Homes and How to Fulfil Them.- Privacy, Security and Society.- Democratizing Cybersecurity in Smart Environments: Investigating the Mental Models of Novices and Experts.- On the User Perception of Security Risks of Trigger-Action Rules: A User Study.- ConnectivityControl: Providing Smart Home Users with Real Privacy Configuration Options.- Designing for a Sustainable Digital Transformation: The DEA Methodology.- Supporting End-User Development.- Exploring visual languages for prototyping interactive behaviors for Tangible Virtual Reality.- How End Users Develop Point-and-Click Games.- Programming with Minecraft Bedrock Up: Modeling, Coding, and Computational Concepts.- Challenges of Enabling End-Users to Develop Systems with AI.- EUD Strategy in the Education Field for Supporting Teachers in Creating Digital Courses.
£47.49
Springer International Publishing AG Software Architecture. ECSA 2022 Tracks and
Book SynopsisThis book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions.Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).Table of ContentsIndustry track.- Blockchain-based Architecture of Immutable Document Repository.- An Overview about Terravis Architecture - Large-Scale Business Process Integration for Swiss Land Register Processes.- Architectural revision of the e-assessment system JACK.- Tools and Demonstrations Track.- ExpressO: From Express.js implementation code to OpenAPI interface descriptions.- Tool-based Attack and Scenario Analysis.- Apache Kafka as a Middleware to Support the PLC-Service Bus Architecture with IEC 61499.- A Toolchain for Simulation Component Specification and Identification.- DAT: A Tool for Data Architecture for IoT.- Doctoral Symposium.- Controlling Automatic Experiment-Driven Systems using Statistics and Machine Learning.- Tutorials.- Trust Management in the Internet of Everything.- Continuous Dependability Assessment of Microservice Systems.- 8th International Workshop on Automotive System/Software Architectures (WASA).- Assessing Security of Internal Vehicle Networks.- Methodical Approach for Centralization Evaluation of Modern Automotive E/E Architectures.- 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA).- MockSAS: Facilitating the Evaluation of Bandit Algorithms in Self-Adaptive Systems.- Towards Uncertainty Reduction Tactics for Behavior Adaptation.- Towards characterization of edge-cloud continuum.- 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS).- Towards Online Testing Under Uncertainty using Model-based Reinforcement Learning.- A Maude Formalization of Object Nets.- 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4).- Developing an AI-enabled IIoT platform - Lessons learned from early use case validation.- DevOps in Robotics: Challenges and Practices.- Enabling IoT Connectivity and Interoperability by using Automated Gateways.- 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA).- A Methodological Approach to Verify Architecture Resiliency.- Microservices Security: Bad vs. Good Practices.- 2nd International Workshop on Software Architecture and Machine Learning (SAML).- Multi-metric Approach for Decomposition of Microservice-based Data Science Workflows.- Introducing Estimators - Abstraction for Easy ML Employment in Self-adaptive Architectures.- Generalization of Machine-learning Adaptation in Ensemble-based Self-adaptive Systems.- Finding Reusable Machine Learning Components to Build Programming Language Processing Pipelines.- 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon).- Optimized Machine Learning Input for Evolutionary Source Code to Architecture Mapping.- 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA).- A Taxonomy for Design Decisions in Software Architecture Documentation.- Establishing a Benchmark Dataset for Traceability Link Recovery between Software Architecture Documentation and Models.- 1st International Workshop on Digital Twin Architecture (TwinArch).- Engineering of Trust Analysis-driven Digital Twins for a medical device.- Using I4.0 digital twins in agriculture.
£61.74
Springer International Publishing AG Computational Science and Its Applications –
Book SynopsisThis nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023. The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops: Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).Table of ContentsSmart Tourism (SmartTourism 2023).- The concept of smart marinas for the implementation of Croatian nautical tourism.- A Decade Bibliometric Analysis of Decision Making in Tourism and Hospitality.- Smart Touristic Ports - The emergence of sustainable marinas from Smart conversion. What future for Sardinia's ports.- Assessing Management Effectiveness: Manglares El Salado Fauna Production Reserve study case.- Smart and slow tourism in protected natural contexts.- Spatial Energy planning, city and Urban Heritage (Spatial_energy_city 2023).- Conservation and regeneration for a sustainable and circular city.- Problem setting on energy risk and climate change adaptation: topics and tools.- The role of spatial circular planning in urban governance. A set of indicators to evaluate performance of urban regeneration.- Theoretical and Computational Chemistry and its Applications (TCCMA 2023).- Protein tetrahedral networks by invariant shape coordinates.- Guided Clustering for Selecting Representatives Samples in Chemical Databases.- Thermodynamic Analysis of Digestate Pyrolysis Coupled with CO2 Sorption.- Coding Cross Sections of an Electron Charge Transfer Process: analysis of different cuts for the entrance and exit potentials.- Transport Infrastructures for Smart Cities (TISC 2023).- Sustainable retrofitting of urban streets for mitigation of traffic vibration by means of anti-vibrating trenches.- Some remarks on automatic braking system related to pedestrian safety.- Potential Application of Marble and Crushed Mussel Shells By-Products to be Used as Aggregates in Plain Concrete Mixes.- Impact Indexes Comparison Study Using Environmental Product Declarations (EPDs) on Innovative Cement Bound Granular Material Pavement Layers.- THE EFFECT OF SUBGRADE CAVITY ON PAVEMENT. A CASE STUDY.- Motorway performance in Europe and Greece.- Execution Time Experiments to Solve Capacitated Vehicle Routing Problem.- Analysis of the impact on the safety and sustainability of vehicular traffic in the landside area of Olbia - Costa Smeralda- airport.- INTERNATIONAL DESIGN PRACTICES FOR ROUNDABOUTS.- Urban Regeneration: Innovative Tools and Evaluation Model (URITEM 2023).- Decision support system for the management of interventions on buildings in the historic centre of Florence: from conservation to regeneration.- Knowledge as a prodromal action for urban regeneration and sustainable development: the case study of Munici-pality of Fondi.- Metabolic Approaches to Regeneration of the Historic Mondeggi Villa Estate.- Environmental and Landscape Constraints and Legislative Provisions in Territorial/Urban Planning and Building Constructions: impacts in urban regeneration.- Urban Space Accessibility and Mobilities (USAM 2023).- Accessibility and Polarities of Pedestrian Network in University Campuses. A Space Syntax Application.- A data-driven approach for a city-university mobility plan: the case of the University of Pisa.- Developing a parsimonious classification of traffic analysis zones using a large number of accessibility indicators and transportation level of service.- Research Trends in Tourism Participation: A Bibliometric Analysis using the Scopus Database.- Describing and Understanding the Morphology of the Urban Landscape. The Case Study of Cagliari, Italy.- The Emergence of Robotics in Tourism and Hospitality: A Bibliometric Analysis from 2017 to 2023.- Sustainability crossing the city: developing a sustainable infrastructures system for Genoa urban center.- Virtual reality and augmented Reality and Applications (VRA 2023).- An exploration towards sustainable metaverse systems for e-learning by student designers: A meta-analysis.- Design and Develop of a Smart City Digital Twin with 3D Representation and User Interface for What-If Analysis.- Numerical simulations of 1461 and 1762 San Pio delle Camere (L'Aquila) earthquakes using 3D physic-based model.- Graphical visualization of phase surface of the Sprott type A system immersed in 4D.- Open metaverse with open software.- Aerial and terrestrial LiDAR: comparisons and accuracies.- Workshop on Advanced and Computational Methods for Earth Science applications (WACM4ES 2023).- Exploring the Signature of the Apollo Medicane in the Central Mediterranean Sea through Multi-Source Data Analysis: Satellites, Radar HF, Marine Buoys, and Seismic Data in October 2021.- (Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information.- Transportation infrastructures exposed to seismic risk: evaluation of social costs for resilience design.- LOW-COST GEOMATICS SURVEYS FOR EMERGENCY INTERVENTIONS ON CULTURAL HERITAGE. THE CASE OF HISTORIC WALLS IN CAGLIARI.- AGEO: Advanced Citizens' Observatory for Atlantic Geohazard Risk Management.- Multidisciplinary research at the Castle of Santapau (Licodia Eubea, Italy): new data for the research, protection and enhancement of the archaeological site.
£80.74
Springer International Publishing AG Fundamentals of Reinforcement Learning
Book SynopsisArtificial intelligence (AI) applications bring agility and modernity to our lives, and the reinforcement learning technique is at the forefront of this technology. It can outperform human competitors in strategy games, creative compositing, and autonomous movement. Moreover, it is just starting to transform our civilization.This book provides an introduction to AI, specifies machine learning techniques, and explores various aspects of reinforcement learning, approaching the latest concepts in a didactic and illustrated manner. It is aimed at students who want to be part of technological advances and professors engaged in the development of innovative applications, helping with academic and industrial challenges.Understanding the Fundamentals of Reinforcement Learning will allow you to: Understand essential AI concepts Gain professional experience Interpret sequential decision problems and solve them with reinforcement learning Learn how the Q-Learning algorithm works Practice with commented Python code Find advantageous directions Table of ContentsChapter. 1. IntroductionChapter. 2. ConceptsChapter. 3. Q-Learning algorithmChapter. 4. Development toolsChapter. 5. Practice with codeChapter. 6. Recent applications and future researchIndex.
£53.99
Springer International Publishing AG Automated Deduction – CADE 29: 29th International
Book SynopsisThis open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.Table of ContentsCertified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs.- An Isabelle/HOL Formalization of the SCL(FOL) Calculus.- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning.- Formal Reasoning about Influence in Natural Sciences Experiments.- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification).- SAT-Based Subsumption Resolution.- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper).- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper).- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description).- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT.- Proving Termination of C Programs with Lists.- Reasoning about Regular Properties: A Comparative Study.- Program Synthesis in Saturation.- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs.- Verification of NP-hardness Reduction Functions for Exact Lattice Problems.- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic.- Left-Linear Completion with AC Axioms.- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+.- Theorem Proving in Dependently-Typed Higher-Order Logic.- Towards Fast Nominal Anti-Unification of Letrec-Expressions.- Confluence Criteria for Logically Constrained Rewrite Systems.- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory.- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper).- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness.- Decidability of difference logic over the reals with uninterpreted unary predicates.- Incremental Rewriting Modulo SMT.- Iscalc: an Interactive Symbolic Computation Framework (System Description).
£33.24
Springer International Publishing AG Software Architecture: 17th European Conference,
Book SynopsisThis book constitutes the refereed proceedings of the 17th International Conference on Software Architecture, ECSA 2023, held in Istanbul, Turkey, in September 2023.The 16 full papers and the 9 short papers included in this volume were carefully reviewed and selected from 71 submissions. They address the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice.Table of ContentsQuality in Software Architecture.- Architecture Modeling and Design.- Artificial Intelligence and Autonomous Systems.- Software Architecture Implementation and Deployment.- Software Architecture Documentation.
£56.99
Springer International Publishing AG Composability, Comprehensibility and Correctness
Book SynopsisThis book constitutes the revised selected papers of the 8th Summer School, CEFP 2019, held in Budapest, Hungary, during June 2019.The 7 full papers and the 4 short papers included in this volume were carefully reviewed and selected. The lectures cover various programming subjects with a focus on composability, comprehensibility, and correctness of working software.Table of ContentsMain Lectures.- PhD Workshop.
£56.99
Springer International Publishing AG Frontiers of Combining Systems: 14th
Book SynopsisThis book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book.Table of ContentsAnalysis of Programs and Equations.- Unification.- Decidable Fragments.- Frameworks.- Higher-order Theorem Proving.
£33.24
Springer International Publishing AG Automated Reasoning with Analytic Tableaux and
Book SynopsisThis open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.Table of ContentsRange-Restricted and Horn Interpolation through Clausal Tableaux.- Non-Classical Logics in Satisfiability Modulo Theories.- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics.- Non-distributive description logic.- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized.- Some Analytic Systems of Rules.- A cut-free, sound and complete Russellian theory of definite descriptions.- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.- Lemmas: Generation, Selection, Application.- Machine-Learned Premise Selection for Lean.- gym-saturation: Gymnasium environments for saturation provers (System description).- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points.- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic.- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata.- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.- On intuitionistic diamonds (and lack thereof).- NP Complexity for Combinations of Non-Normal Modal Logics.- Resolution-based Calculi for Non-Normal Modal Logics.- Canonicity of Proofs in Constructive Modal Logic.- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic.- The MaxSAT problem in the real-valued MV-algebra.- The Logic of Separation Logic: Models and Proofs.- Testing the Satisfiability of Formulas in Separation Logic with Permissions.- Nested Sequents for Quantified Modal Logics.- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.
£33.24
Springer International Publishing AG Automated Technology for Verification and
Book SynopsisThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware. Table of ContentsTemporal logics.- Data structures and heuristics.- Verification of programs and hardware.- Tool papers.
£56.99
Springer International Publishing AG Applied Informatics: 6th International
Book SynopsisThis book constitutes the proceedings of the 6th International Conference on Applied Informatics, ICAI 2023, which took place in Guayaquil, Ecuador, in October 2023.The 30 papers presented in this volume were carefully reviewed and selected from 132 submissions. The contributions are divided into the following thematic blocks: Artificial Intelligence; Data Analysis; Decision Systems; Enterprise Information Systems Applications; Geoinformatics; Health Care Information Systems; Interdisciplinary Information Studies; Learning Management Systems; Virtual and Augmented Reality.Table of ContentsArtificial Intelligence.- Data Analysis.- Decision Systems.- Enterprise Information Systems Applications.- Geoinformatics.- Health Care Information Systems.- Interdisciplinary Information Studies.- Learning Management Systems.- Virtual and Augmented Reality.
£71.24
Springer International Publishing AG Advances in Conceptual Modeling: ER 2023
Book SynopsisThis book constitutes the refereed proceedings of 7 workshops, held at the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 28 full and 2 short papers were carefully reviewed and selected out of 53 submissions. Topics of interest span the entire spectrum of conceptual modeling, including research and practice in areas such as theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models. The following workshops are included in this volume: CMLS – 4th International Workshop on Conceptual Modeling for Life Sciences; CMOMM4FAIR – Third Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable, and Reusable (FAIR) Data; EmpER – 6th International Workshop on Empirical Methods in Conceptual Modeling; JUSMOD – Second International Workshop on Digital Justice, Digital Law and Conceptual Modeling; OntoCom – 9th International Workshop on Ontologies and Conceptual Modeling; QUAMES – 4th International Workshop on Quality and Measurement of Model-Driven Software Development; SmartFood – First Workshop on Controlled Vocabularies and Data Platforms for Smart Food Systems. Table of ContentsCMLS: An Ontology for Breast Cancer Screening.- Integrating Nuclear Medicine and Radiopharmacy Data: A Conceptual Model for Precision Medicine and Enhanced Patient Care.- Comprehensive Representation of Variation Interpretation Data via Conceptual Modeling.- Enhancing Precision Medicine: An Automatic Pipeline Approach for Exploring Genetic Variant-Disease Literature.- CMOMM4FAIR: euFAIR: A Digital Tool for Assessing the FAIR Principles.- EmpER: Empirical Exploration of Open-Source Issues for Predicting Privacy Compliance.- Human-Centred Conceptual Modelling for Re-Designing Urban Planning.- Using Knowledge Graphs to Generate SQL Queries from Textual Specifications.- A Systematic Approach to Generate TOGAF Artifacts Founded on Multiple Data Sources and Ontology.- Bridging the Gap: Conceptual Modeling and Machine Learning for Web Portals.- JUSMOD: New-Generation Templates Facilitating the Shift from Documents to Data in the Italian Judiciary.- Supervised Learning, Explanation and Interpretation from Pretrial Detention Decisions by Italian and Brazilian Supreme Courts.- Few-Shot Legal Text Segmentation via Rewiring Conditional Random Fields: A Preliminary Study.- Identification and Visualization of Legal Definitions and Legal Term Relations.- Comparative Analysis of Disinformation Regulations: A Preliminary Analysis.- Privacy-Preserving Data Integration for Digital Justice.- Public Procurement Analysis with Process Discovery Techniques and Event Log Enrichment.- Formalising Legal Knowledge of Sri Lankan Civil Appellate High Court Domain from Ontological Perspective.- OntoCom: Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling.- Misalignments of Social and Numerical Identity – An Ontological Analysis.- Using an Ontology for Defining Semantics of Fractal Enterprise Model.- One Model to Rule Them All: A Demonstration of Ontology-Driven Minimum Viable Product Development for a Local Tourism Platform.- Enhancing Requirement-Information Mapping for Sustainable Buildings: Introducing the SFIR Ontology.- On the Use of ChatGPT for Classifying Domain Terms According to Upper Ontologies.- QUAMES: Exploring Understandability in Socio-Technical Models for Data Protection Analysis: Results from a Focus Group.- FlowTGE: Automating Functional Testing of Executable Business Process Models Based on BPMN.- An Approach Aligned with Model Driven Development to Evaluate the Quality of Explainable Artificial Intelligence.- SmartFood: Unveiling major Knowledge Organization Systems’ artifacts for Agriculture with network graphs.- Design Implications Towards Human-Centric Semantic Recommenders for Sustainable Food Consumption.- CoffeeWKG: A Weather Knowledge Graph for Coffee Regions in Colombia.
£56.99
Springer International Publishing AG Software Engineering and Formal Methods: 21st
Book SynopsisThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 6-10, 2023. The 18 regular papers presented in this book, together with 1 invited paper and 1 tool paper, were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.Table of ContentsRefinements for Open Automata.- The Cubicle Fuzzy Loop : A Fuzzing-Based Extension for the Cubicle Model Checker.- Guiding Symbolic Execution with A-star.- Robustness Testing of Software Verifiers.- Decoupled Fitness Criteria for Reactive Systems.- Capturing Smart Contract Design with DCR Graphs.- An Active Learning Approach to Synthesizing Program Contracts.- Ranged Program Analysis via Instrumentation.- Attack time analysis in dynamic attack trees via integer linear programming.- SSCalc A Calculus for Solidity Smart Contracts.- ATM: a Logic for Quantitative Security Properties on Attack Trees.- Refactoring of Multi-Instance BPMN Processes with Time and Resources.- Verified Scalable Parallel Computing with Why3.- Exact and Efficient Bayesian Inference for Privacy Risk Quantification.- A Formalization of Heisenbugs and Their Causes.- Verifying Read-Copy Update under RC11.- QNNRepair: Quantized Neural Network Repair.- Timeout Prediction for Software Analyses.- PART Tool Papers.- PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking.
£49.49
Springer International Publishing AG Conceptual Modeling: 42nd International
Book SynopsisThis book constitutes the refereed proceedings of the 42nd International Conference on Conceptual Modeling, ER 2023, held in Lisbon, Portugal, during November 6-9, 2023. The 21 full papers were carefully reviewed and selected from 121 submissions. Additionally, the book contains 4 keynote speeches and 3 tutorials, and one invited paper corresponding to one of the keynote speeches. The papers cover a broad spectrum of classical and modern topics on conceptual modeling, including research and practice in the theories of concepts and ontologies, techniques for transforming conceptual models into effective implementations, and methods and tools for developing and communicating conceptual models.Table of ContentsInvited Paper.- Stochastic LLMs do not Understand Language: Towards Symbolic, Explainable and Ontologically Based LLMs.- The Conceptual Modeling Task.- A Survey of Ethical Reasoning Methods, their Metamodels, and a Theory on their Application to Conceptual Modelling.- Use of Competency Questions in Ontology Engineering: a Survey.- How Inclusive is Conceptual Modeling? A Systematic Review of Literature and Tools for Disability-aware Conceptual Modeling.- The Meta Level.- A Terminological and Semiotic Review of the Digital Object Concept.- The Ontology for Conceptual Characterization of Ontologies.- ProMoTe: A Data Product Model Template for Industry.- Model-Based Analysis and Implementation.- Using a Conceptual Model in Plug-and-play SQL.- Sanity-Checking Multiple Levels of Classification – A Formal Approach with a ConceptBase Implementation.- A Safari for Deviating GoF Pattern Definitions and Examples on the Web.- Process Mining and Abstraction.- Object-Centric Alignments.- Transforming Event Knowledge Graph to Object-Centric Event Logs: A Comparative Study for Multi-dimensional Process Analysis.- Ontology-Based Abstraction of Bot Models in Robotic Process Automation.- Modeling Events and Processes.- Shards of Knowledge – Modeling Attributions for Event-Centric Knowledge Graphs.- A Characterisation of Ambiguity in BPM.- Dealing with the evolution of event-based choreographies of BPMN fragments: definition and proof of concept.- Conceptual Modeling in Context.- Safety Analysis of Human Robot Collaborations with GRL Goal Models.- A Domain-Specific Visual Modeling Language for Augmented Reality Applications Using WebXR.- An Ontology for Context Modeling in Smart Spaces.- Applications of Conceptual Modeling.- A Reference Meta-Model to Understand DNA Variant Interpretation Guidelines.- A Conceptual Modeling Approach for Risk Assessment and Mitigation in Collision-free UAV Routing for Beyond-the-Visual-Line-of-Sight Flights.- QuantumShare: Towards An Ontology for Bridging the Quantum Divide.
£61.74
Springer International Publishing AG AIxIA 2023 – Advances in Artificial Intelligence:
Book SynopsisThis book constitutes the refereed proceedings of the XXIInd International Conference on AIxIA 2023 – Advances in Artificial Intelligence, AIxIA 2023, held in Rome, Italy, during November 6–10, 2023.The 33 full papers included in this book were carefully reviewed and selected from 53 submissions. They were organized in topical sections as follows: Argumentation and Logic Programming, Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.Table of ContentsArgumentation and Logic Programming.- ABALearn: An automated logic-based learning system for ABA frameworks.- Deriving Dependency Graphs from Abstract Argumentation Frameworks.- ReConf: An Automatic Context-based Software Reconfiguration Tool for Autonomous Vehicles using Answer-Set Programming.- Mining contrast sequential patterns with ASP.- Ontologies.- An ontological modelling of reason-based preferences.- A Defeasible Description Logic for Abduction.- Ontology-based Data Management in Healthcare: The Case of the Italian Arthroplasty Registry.- Planning.- A Structure-Sensitive Translation from Hybrid to Numeric Planning.- Intrinsically Motivated High-Level Planning for Agent Exploration.- Natural Language Processing.- Mining Argument Components in Essays at Different Levels.- Unraveling ChatGPT: A Critical Analysis of AI-Generated Goal-Oriented Dialogues and Annotations.- Scaling Large Language Models to the Extreme: Neural Semantic Processing of Multiple Tasks in Italian.- Named Entity Recognition and Linking for Entity Extraction from Italian Civil Judgements.- Machine Learning.- CENTAURO: an Explainable AI Approach for Customer Loyalty Prediction in Retail Sector.- Toward Novel Optimizers: A Moreau-Yosida View of Gradient-based Learning.- Mastering the Card Game of Jaipur through Zero-knowledge Self-Play Reinforcement Learning and Action Masks.- Uncovering Bias in the Face Processing Pipeline: An Analysis of Popular and State-of-the-Art Algorithms Across Demographic Groups.- A multi-label classification study for the prediction of long-covid syndrome.- PAUL-2: An Upgraded Transformer-Based Redesign of the Algorithmic Composer PAUL.- Robotics and Perception.- Understanding the Effect of Deep Ensembles in LiDAR-based Place Recognition.- Enanching LiDAR performance: Robust De-skewing Exclusively Relying o n Range Measurements.- Can Existing 3D Monocular Object Detection Methods Work in Roadside Contexts? A Reproducibility Study.- Embedding Shepard's Interpolation into CNN Models for Unguided Depth Completion.- Performance evaluation of depth completion neural networks for various RGB-D camera technologies in indoor scenario.- Hybrid AI.- Inference in Probabilistic Answer Set Programming under the Credal Semantics.- Efficient Modal Decision Trees.- Clique-TF-IDF: A New Partitioning Framework based on Dense Substructures.- Combining Contrastive Learning and Knowledge Graph Embeddings to develop medical word embeddings for the Italian language.- Applications of AI.- Recognizing the Style, Genre, and Emotion of a Work of Art Through Visual and Knowledge Graph Embeddings.- Combining genetic algorithms and temporal constraint satisfaction for recommending personalized tourist itineraries.- Towards Automatic Digitalization of Railway Engineering Schematics.- Election Manipulation in Social Networks with Single-Peaked Agents.- Learning to Prompt in the Classroom to Understand AI Limits: A pilot study.
£53.99
Springer International Publishing AG Advances in Computational Intelligence. MICAI
Book SynopsisThis conference LNAI 14502 volume constitutes the workshop proceedings of 22nd Mexican International Conference on Artificial Intelligence, held in November 2023 in Mérida, Yucatán, México. The total of 34 papers presented in this volume was carefully reviewed and selected from 54 submissions.The proceedings of MICAI 2023 workshops are structured into three sections: – WILE 2023: 16th Workshop on Intelligent Learning Environments – HIS 2023: 16th Workshop of Hybrid Intelligent Systems – CIAPP 2023: 5th Workshop on New Trends in Computational Intelligence and ApplicationsTable of ContentsArtificial intelligence. - Knowledge representation and reasoning.- Planning and scheduling.- Control methods.- Philosophical/theoretical foundations of artificial intelligence.- Computer vision.- Machine learning.- Symbolic and algebraic manipulation.- Simulation theory.- Robots.- Evolutionary computation.- Intelligent systems.- Natural language processing.- Bioinformatics.- Medical applications using AI.
£61.74
Springer International Publishing AG Applied Reconfigurable Computing. Architectures
Book SynopsisThis LNCS conference volume constitutes the proceedings of the 20th International Symposium, ARC 2024, in Aveiro, Portugal, in March 2024. The conference focuses on the application and development of reconfigurable computing techniques, fault-tolerance, data, and graph processing acceleration to computer security.
£98.99
Springer Computer Aided Verification
Book Synopsis
£33.24
Springer Handbook on Natural Language Processing for Requirements Engineering
Book Synopsis1. Handbook on Natural Language Processing for Requirements Engineering: Overview.- Part I: NLP for Downstream RE Tasks.- 2. Machine Learning for Requirements Classification.- 3. Requirements Similarity and Retrieval.- 4. Natural Language Processing for Requirements Traceability.- 5. Detecting Defects in Natural Language Requirements Specifications.- 6. Automated Requirements Terminology Extraction.- 7. Automated Requirements Relations Extraction.- Part II: NLP for Specialised Types of Requirements and Artefacts.- 8. Legal Requirements Analysis: A Regulatory Compliance Perspective.- 9. Privacy Requirements Acquisition and Analysis.- 10. On the Automated Processing of User Feedback.- 11. Mining Issue Trackers: Concepts and Techniques.- 12. Automated Analysis of User Story Requirements.- Part III: NLP for RE in Practice.- 13. NLP4RE Tools: Classification, Overview, and Management.- 14. Empirical Evaluation of Tools for Hairy Natural Language Requirements Engineering Tasks.- 15. Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering.- 16. Using Large Language Models for Natural Language Processing Tasks in Requirements Engineering: A Systematic Guideline.- 17. Dealing with Data for RE: Mitigating Challenges while Using NLP and Generative AI.
£170.99
Springer Leveraging Applications of Formal Methods
Book SynopsisIntroduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday.- Systems Security Modeling and Analysis at IMT Lucca.- Klaim in the making.- Formal approaches for modeling and analysis of business process collaborations.- An abstract account of up-to techniques for inductive behavioural relations.- Language equivalence from Nondeterministic to Weighted Automata --- and back.- A Process Algebraic View of In/Out Prisoners.- Towards a Formal Testing Theory for Quantum Processes.- Testing Quantum Processes.- The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops.- Towards a probabilistic programming approach to analyse collective adaptive systems.- Can AI Help with the Formalization of Railway Cybersecurity Requirements?.- White-box validation of collective adaptive systems by statistical model checking and process mining.- Analysing collective adaptive systems by proving theorems.- Engineering Ethical-aware Collective Adaptive Systems.-
£61.74
Springer Real Time and Such
Book SynopsisAll About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.
£42.74
Springer Leveraging Applications of Formal Methods
Book Synopsis
£53.99
Springer Leveraging Applications of Formal Methods
Book Synopsis
£42.74
Springer Software Engineering and Formal Methods
Book Synopsis.- Invited Talks..- Formal Verification of Cyber-Physical Systems using Domain-specific Abstractions..- Paraconsistency for the Working Software Engineer..- Picturing Quantum Software..- Contributed Papers..- User-Guided Verification of Security Protocols via Sound Animation..- A Policy Framework for Regulating External Calls in Smart Contracts..- Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability..- SmartML: Towards a Modeling Language for Smart Contracts..- Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems..- Validating Traces of Distributed Programs Against TLA+ Specifications..- Partially-Observable Security Games for Attack-Defence Analysis in Software Systems..- Secure Smart Contracts with Isabelle/Solidity..- Deductive verification of SYCL in VerCors..- Minuska: Towards a Formally Verified Programming Language Framework..- Hierarchical Learning of Generative Automaton Models from Sequential Data..- Composing Run-time Variability Models..- Model-Checking the Implementation of Consent..- GrammarForge: Learning Program Input Grammars for Fuzz Testing..- Verified Configuration and Deployment of Layered Attestation Managers..- Right or Wrong Understanding How Users Write Software Models in Alloy..- An Operational Semantics for Yul..- Execution-time opacity control for timed automata..- Unlocking the Power of Environment Assumptions for Unit Proofs..- Towards Quantum Multiparty Session Types..- Automated Invariant Generation for Efficient Deductive Reasoning about Embedded Systems..- Formal Analysis of Multi-Factor Authentication Schemes in Digital Identity Cards..- Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.
£53.99
Springer Guide to Software Project Management
Book SynopsisFundamentals of Software Engineering.- Professional Responsibility in Software Engineering.- Ethical Software Engineering.- Ethical and Legal Responsibilities of Project Managers.- Overview of Software Project Management.- Software Project Planning.- Risk Management.- Quality Management in Software Projects.- Project Monitoring and Control.- Outsourcing - Supplier Selection and Management.- Project Closure.- Configuration Management.- Project Management in the Agile World.- Project Management Metrics.- Tools for Project Management.- Continuous Improvement of Project Management.- Epilogue.
£42.74
Springer Coordination Models and Languages
Book Synopsis.- Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial)..- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk)..- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming..- Formalizing Errors in CCS with 3-Valued Logic..- Verified Parameterized Choreographies..- A Constraint Opinion Model..- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software..- Declarative Deployment Planning for Green Pulverised Collective Computational Systems..- Decidability Problems for Micro-Stipula..- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services..- Dialects for the CoAP IoT Messaging Protocol..- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering..- RebeCaos..- A Demonstrator Toolchain for Self-organizing Robot Teams.
£56.99
Springer Concurrent Programming Open Systems and Formal Methods
Book SynopsisActors and Concurrent Programming.- Open Systems and Applications.- Formal Methods.
£62.99
Springer-Verlag GmbH Bridging the Gap Between AI and Reality
£33.24
Springer Reachability Problems
Book SynopsisInvited Papers.-When You Have a Fuzzer, Everything Looks Like a Reachability Problem.-The Role of Logic and Automata in Understanding Transformers.-Simplicity Lies in the Eye of the Beholder: A Strategic Perspective on Controllers in Reactive Synthesis.Regular Papers.-Word Equations with Length Constraints via Weak Arithmetics and Matrix Reachability Problems.-Word Chain Generators for Prefix Normal Words.-Reachability and Mortality for Two-Dimensional RHPCD Systems Are co-NP-hard.-Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems.-Weighing Obese Timed Languages.-Box-Reachability in Vector Addition Systems.-Knowing-How Reasoning with Budgets Recasted: Universal Reachability Problem on VASS.-Nets-within-Nets through the Lens of Data Nets.-Compositional Verification of Almost-Sure Büchi Objectives in MDPs.-DTMC Model Checking by Path Abstraction Revisited.-Counterexample-Guided Abstraction Refinement for Star-Based Neural Network Verification.-Maximum Path Sets in trees.
£44.99
Springer International Publishing AG The Handbook of Formal Methods in Human-Computer Interaction
Book SynopsisThis book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.Trade Review“Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings ... the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments. … I enjoyed reading the book … .” (Jacques Carette, Computing Reviews, January, 22 , 2018) Table of ContentsForeword.- Part I: Introduction.- State of the Art in Formal Methods in HCI.- Topics of formal methods in HCI.- Trends and Gaps.- Case Studies.- Part II: Modeling, Execution and Simulation.- Visual and Formal Modeling of Modularized and Executable User Interface Models.- Combining Models for Interactive System Modelling.- Activity Modelling for Low-Intention Interaction.- Modelling the User Physigrams – Modeling Physical Device Characteristics Interaction.- Formal Description of Adaptive Interactive Systems based on Executable User Interface Models.- Part II:Analysis, Validation and Verification.- Learning Safe Interactions and Full-Control.- Reasoning About Interactive Systems in Dynamic Situations of Use Enhanced Operator Function Model (EOFM): A Task Analytic Modeling Formalism for Including Human.- Behavior in the Verification of Complex Systems.- The Specification and Analysis of Use Properties of a Nuclear.- Control System.- Formal Analysis of Multiple Coordinated HMI Systems.- Part IV: Future Opportunities and Developments.- Domain-Specific Modelling for Human-Computer Interaction.- Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment .- A Public Tool Suite for Modelling Interactive Applications.- Formal Modeling of App-Ensembles.- Dealing with Faults during Operations: Beyond Classical Use of Formal Methods.
£237.49
Springer International Publishing AG The Essence of Software Engineering
Book SynopsisThis open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments.Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.Table of Contents1 The Leading Role of Software and Systems Architecture in the Age of Digitization.- 2 Formal Methods and Agile Development: Towards a Happy Marriage.- 3 Escaping Method Prison – On the Road to Real Software Engineering.- 4 What is software?: The Role of Empirical Methods in Answering the Question.- 5 Only the Architecture You Need.- 6 Variability in standard software products Introducing software product line engineering to the insurance industry.- 7 Using Design Thinking for Requirements Engineering in the Context of Digitalization and Digital Transformation – a Motivation and an Experience Report.- 8 Towards Deviceless Edge Computing: Challenges, Design Aspects & Models for Serverless paradigm at the Edge .- 9 Data-driven decisions and actions in today’s software development.- 10 Software Architecture: Past, Present, Future.- 11 Software Product Lines.- 12 Enabling Flexible and Robust Business Process Automation for the Agile Enterprise.- 13 Achievements, Failures, and the Future of Model-based Software Engineering.
£42.74
Springer International Publishing AG Big Data Technologies and Applications
Book SynopsisThe objective of this book is to introduce the basic concepts of big data computing and then to describe the total solution of big data problems using HPCC, an open-source computing platform.The book comprises 15 chapters broken into three parts. The first part, Big Data Technologies, includes introductions to big data concepts and techniques; big data analytics; and visualization and learning techniques. The second part, LexisNexis Risk Solution to Big Data, focuses on specific technologies and techniques developed at LexisNexis to solve critical problems that use big data analytics. It covers the open source High Performance Computing Cluster (HPCC Systems®) platform and its architecture, as well as parallel data languages ECL and KEL, developed to effectively solve big data problems. The third part, Big Data Applications, describes various data intensive applications solved on HPCC Systems. It includes applications such as cyber security, social network analytics including fraud, Ebola spread modeling using big data analytics, unsupervised learning, and image classification.The book is intended for a wide variety of people including researchers, scientists, programmers, engineers, designers, developers, educators, and students. This book can also be beneficial for business managers, entrepreneurs, and investors. Trade Review“The book offers a good overview of big data technologies, which keeps a live link between theoretical background and live applications. As such, the text rises up as a starting point for engineers and researchers in the field of big data applications.” (Alexander Tzanov, Computing Reviews, June, 2017)Table of ContentsIntroduction to Big Data.- Big Data Analytics.- Transfer Learning Techniques.- Visualizing Big Data.- Deep Learning and Big Data.- The HPCC/ECL Platform for Big Data.- Scalable Automated Linking Technology for Big Data Computing.- Aggregated Data Analysis in HPCC Systems.- Models for Big Data.- Data Intensive Supercomputing Solutions.- Graph Processing with Massive Datasets: A KEL Primer.- HPCC Systems for Cyber Security Analytics.- Social Network Analytics: Hidden and Complex Fraud Schemes.- Modeling Ebola Spread and Using HPCC/KEL System.- Unsupervised Learning and Image Classification in High Performance Computing Cluster.
£98.99
