Software Engineering Books
Springer Nature Switzerland AG Domain Science and Engineering: A Foundation for
Book SynopsisIn this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discrete dynamics segment of human activity, of natural and man-made artefacts, examples include road, rail and air transport, container terminal ports, manufacturing, trade, healthcare, and urban planning. The book addresses issues of seemingly large systems, not small algorithms, and it emphasizes descriptions as formal, mathematical quantities.This is the first thorough monograph treatment of the new software engineering phase of software development, one that precedes requirements engineering. It emphasizes a methodological approach by treating, in depth, analysis and description principles, techniques and tools. It does this by basing its domain modeling on fundamental philosophical principles, a view that is new for a computer science monograph.The book will be of value to computer scientists engaged with formal specifications of software. The author reveals this as a field of interesting problems, most chapters include pointers to further study and exercises drawn from practical engineering and science challenges. The text is supported by a primer to the formal specification language RSL and extensive indexes.Table of ContentsPart I, Setting the Scope.- Concepts.- Philosophy.- Space, Time and Matter.- Logic and Mathematics.- Part II, Domains.- Domains: A Taxonomy: External Qualities.- Domains: An Ontology: Internal Qualities.- Transcendental Deduction.- Domains: A Dynamics Ontology: Perdurants.- Domain Facets.- Part III, Requirements.- Requirements.- Part IV, Closing.- Demos, Simulators, Monitors and Controllers.- Winding Up.- References.- Appendix A: Pipelines Domain: Endurants.- Appendix B: Mereology, A Model.- Appendix C: Four Languages.- Appendix D: An RSL Primer.- Appendix E: Indexes.- List of Figures
£132.99
Springer Nature Switzerland AG Artificial Intelligence in Intelligent Systems:
Book SynopsisThis book constitutes the refereed proceedings of the artificial intelligence in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Artificial intelligence in intelligent systems topics are presented in this book. Modern hybrid and bio-inspired algorithms and their application are discussed in selected papers.Table of ContentsOnline teaching as an important means of technogenic society development during the pandemic.- Application of Principal Component Analysis based Support Vector Machine for long-run Economic Growth Forecasting.- Experimental Study of Speed Parameters and Resource Intensity of Programming Languages for Embedded Systems.- Classification of Cardiotocography data for fetal health using Feature Selection Techniques.- Intersection as an Event- and Agent-Based System.- Comparison of UAV Landing Site Classifications with Deep Neural Networks.- An Approach to Optimize Multi-objective Problems using Hybrid Genetic Algorithms Supported by Initial Centroid Selection Optimization Enhanced K-Means Based Selection Operator.- Numerical Modelling of the Impact of Dredging on Stability of Oum Rabiâ estuary (Morocco) using SWAN Model.- New method of verifying cryptographic protocols, based on the process model.- A Method of Search Space Adaptation in the False Pseudonyms Detection Procedure.- Analytical Studies of Behavior of Users of the Moscow Electronic School Service.- Information and Control Systems with Distributed Ledger Usage: a Reliability Issue.- A Modified Ontology-Based Method of Workload Relocation Problem Solving for Monitoring and Forecasting Systems.- Intelligent data analysis using a classification method for data mining knowledge discovery process.- Multimodal Transportation Overview andOptimization Ontology for a Greener Future.- A Complex Cognitive-Based Technique for Social Tension Detection in the Internet Communities.- Method of crystallization of alternatives for solving the problem of placing VLSI elements.- Resilient Rerouting in IoT Systems with Evolutionary Computing.- Urban Monthly Water Consumption Forecasting Based on Signal Decomposition and Optimized Extreme Learning Machine.- Comparison of Control Systems Based on PID Controllers and Based on Fuzzy Logic Using MatLab and Simulink.
£134.99
Springer Nature Switzerland AG Informatics and Cybernetics in Intelligent
Book SynopsisThis book constitutes the refereed proceedings of the informatics and cybernetics in intelligent systems section of the 10th Computer Science Online Conference 2021 (CSOC 2021), held online in April 2021. Modern cybernetics and computer engineering papers in the scope of intelligent systems are an essential part of actual research topics. In this book, a discussion of modern algorithms approaches techniques is held. Table of ContentsDesign of multi loop control systems with decision makers under incomplete information.- Forecasting and Assessing the Risk of Negative Consequences of Strategic Decisions in Organisation Systems.- Application of Computer Methods for acoustic analysis of the West-Middle German Dialect.- The Concept of Intellectualized Control in Precision Farming.- Allocation of Organizational and Financial Resources of the Information Protection Side Using a Genetic Algorithm.- Application of information security technologies for improving the imitation resistance of low-orbital satellite communication systems.- Time series forecasting based on neural analysis.- Alternative designs of high load queuing systems with small queue.- Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial Setting.- Architecture of InnoChain, a Formally-Veried Distributed Ledger System.- A New Approach to Modelling and Verification of Functional Programs.- Measuring Random Pulses with Unknown Time- Frequency and Power Parameters.- Efficiency of Detection of Ultra-Wideband Signals against Additive and Pulse Random Distortions.- Development of a risk assessment tool for manufacturing processes.- Determining the future profitability of the main types of cryptocurrencies.- THE PECULIARITIES OF COMPUTER TECHNOLOGIES APPLICATION IN INFORMATICS TRAINING IN CONDITIONS OF THE ECONOMY AND EDUCATION DIGITALIZATION.- LSTM forecasting: time series forecasting to predict the concentration of air pollutants (CO, SO2, NO and NO2) in Krasnoyarsk, Russia.- Local weather station for decision making in civil engineering.- Algorithmic approach to the design of e-learning courses.- New failures occurrence software testing based on predicting the time organization.
£116.99
Springer Nature Switzerland AG An Introduction to Design Science
Book SynopsisThis book is an introductory text on design science, intended to support both graduate students and researchers in structuring, undertaking and presenting design science work. It builds on established design science methods as well as recent work on presenting design science studies and ethical principles for design science, and also offers novel instruments for visualizing the results, both in the form of process diagrams and through a canvas format. While the book does not presume any prior knowledge of design science, it provides readers with a thorough understanding of the subject and enables them to delve into much deeper detail, thanks to extensive sections on further reading. Design science in information systems and technology aims to create novel artifacts in the form of models, methods, and systems that support people in developing, using and maintaining IT solutions. This work focuses on design science as applied to information systems and technology, but it also includes examples from, and perspectives of, other fields of human practice. Chapter 1 provides an overview of design science and outlines its ties with empirical research. Chapter 2 discusses the various types and forms of knowledge that can be used and produced by design science research, while Chapter 3 presents a brief overview of common empirical research strategies and methods. Chapter 4 introduces a methodological framework for supporting researchers in doing design science research as well as in presenting their results. This framework includes five core activities, which are described in detail in Chapters 5 to 9. Chapter 10 discusses how to communicate design science results, while Chapter 11 compares the proposed methodological framework with methods for systems development and shows how they can be combined. Chapter 12 discusses how design science relates to research paradigms, in particular to positivism and interpretivism, and Chapter 13 discusses ethical issues and principles for design science research. The new Chapter 14 showcases a study on digital health consultations and illustrates the whole process in one comprehensive example. Also added to this 2nd edition are a number of sections on practical guidelines for carrying out basic design science tasks, a discussion on design thinking and its relationship to design science, and the description of artefact classifications. Eventually, both the references in each chapter and the companion web site were updated to reflect recent findings.Table of Contents1 Introduction.- 2 Knowledge Types and Forms.- 3 Research Strategies and Methods.- 4 A Method Framework for Design Science Research.- 5 Explicate Problem.- 6 Define Requirements.- 7 Design and Develop Artefact.- 8 Demonstrate Artefact.- 9 Evaluate Artefact.- 10 Communicate Artefact Knowledge.- 11 Systems Development and the Method Framework for Design Science Research.- 12 Research Paradigms.- 13 Ethics and Design Science. 14 Digital Consultations — a Case Study.
£47.69
Springer Nature Switzerland AG Intelligent Information Systems: CAiSE Forum
Book SynopsisThis book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2021 which was held as part of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, in June 2021. The conference was held virtually due to the COVID-19 pandemic.The CAiSE Forum is a place within the CAiSE conference for presenting and discussing new ideas and tools related to information systems engineering. Intended to serve as an interactive platform, the Forum aims at the presentation of emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications. This year’s theme was “Intelligent Information Systems”.The 18 full papers presented in this volume were carefully reviewed and selected for inclusion in this book.Table of ContentsVisionary papers.- Evolution of an Adaptive Information System for Precision Medicine.- Security Risk Estimation and Management in Autonomous Driving Vehicles.- BPMN Extensions for Modeling Continuous Processes.- Sensor Data Stream Selection and Aggregation for the Ex Post Discovery of Impact Factors on Process Outcomes.- Requirements Elicitation for Applications Running on a Blockchain: Preliminary Results.- ISGE: A conceptual Model-based Method to correctly manage genome data.- Case Level Counterfactual Explanation in Process Mining.- Evaluating Fidelity of Explainable Methods for Predictive Process Analytics.- Data-Driven Process Performance Measurement and Prediction: A Process-Tree-Based Approach.- Detecting Privacy, Data and Controlflow Deviations in Business Processes.- Dynamic Strategic Modeling for Alliance-Driven Data Platforms: The Case of Smart Farming.- Modelling Cyber-physical Security in Healthcare Systems.- Declarative Process Discovery: Linking Process and Textual Views.- A Tool for Computing Probabilistic Trace Alignments.- Innovative tools and prototypes.- Applied Predictive Process Monitoring and Hyper Parameter Optimization in Camunds.- SmartRPA: A Tool to Reactively Synthesize Software Robots from User Interface Logs.- PatternLens: Inferring evolutive patterns from web API usage logs.- Designing a Self-Service Analytics System for Supply Base Optimization.
£49.49
Springer Nature Switzerland AG Ernst Denert Award for Software Engineering 2020:
Book SynopsisThis open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice.The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.Table of ContentsErnst Denert Software Engineering Award 2020.- Some Patterns of Convincing Software Engineering Research, or: How to Win the Ernst Denert Software Engineering Award 2020.- What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style.- How to Effectively Reduce Failure Analysis Time?.- Open Source Software Governance: Distilling and Applying Industry Best Practices.- Dynamically Scalable Fog Architectures.- Crossing Disciplinary Borders to Improve Requirements Communication.- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering.- Hybrid Differential Software Testing.- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems.- Improving the Model-Based Systems Engineering Process.- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.
£34.99
Springer Nature Switzerland AG Requirements Engineering for Social Sector
Book SynopsisThis book presents interdisciplinary research in software engineering with applications for the social sector. The author focuses on software applications that are used for social good and that serve the needs of society. The author aims to bridge the knowledge gap between requirement engineers, industry, and users in order to help identify a diverse range of needs in the social sector (taking into account user crowd diversity in terms of technological competencies, geography, demographics, and behavioral and psychographic aspects). The book provides rigorous empirical studies and validates solutions that serve as a guide to the software engineering community, researchers, graduate students, and teachers. Provides interdisciplinary research in software engineering and the needs of the social sector, helping to increase success rates of society focused startups and applications Ideal for social entrepreneurs who can use the book for doing customer development with diverse users Establishes a new research line of social sector requirement engineering, taking into account user age, language, ability, and access Table of ContentsChapter 1. Introductiona. Introduction.b. Social sector of economyc. Social impacts of software solutionsd. Requirement Engineering in Generale. Social sector applications: Divide between users, funders and customersf. Requirement Engineering for Social sector applications (Social sector Requirement Engineering)g. Conclusionh. Further ReadingChapter 2. Towards Gamification and Crowdsourcing in Social Sector Requirement Engineering a. Introduction.b. Tertiary Review Protocolc. Result Analysisd. State of affairs in Social sector contexte. Discussionf. Conclusion and future workg. Further ReadingChapter 3. Requirement Engineering Challenges for Social Sector Software Development: Insights from Multiple Case studies. a. Introduction.b. Case study protocolc. Backgroundd. Result Analysise. Real use casef. Discussion and future directions g. Frameworkh. Result assessmenti. Implications for Government and Software Engineersj. Conclusion k. Further Reading Chapter 4. Social Sector Requirement Engineering Process using Customer Journeysa. Introduction.b. Theoretical Background c. Working Algorithmd. Hypothetical Algorithme. Result Validationf. Conclusion & Future workg. Further Reading Chapter 5. Implications for Social Innovation stakeholders a. Implications for researchers.b. Implications for fundersc. Implications for Governmentd. Implications for academiae. Implications for Social entrepreneurs f. Conclusion & Future workg. Further Reading
£71.99
Springer Nature Switzerland AG Software Engineering Application in Informatics:
Book SynopsisThis book constitutes the first part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021). The CoMeSySo 2021 Conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research results. The software engineering, computer science, and artificial intelligence are crucial topics for the research within an intelligent systems problem domain.Table of ContentsRelationship between the Level of Economic Development and Education Level of the Employed Population.- Replacing the Reinforcement Learning (RL) to the Auto Reinforcement Learning (AutoRL) Algorithms to Find the Optimal Structure of Business Processes in the Bank.- Features of Using Programs for Casting Processes Modeling.- Development of an information system to help identify symptoms and predict the spread of COVID-19 using artificial intelligence.- Use of Analytic Hierarchy Process in Tasks of Knowledge Visualization.- Blockchain-Oriented Software Development issues: A literature Review.- Identification of Magnetic Levitation System.- The Optimal Model for Consumers' E-wallets Usage Intention.- Issues and possibilities of personal data remote processing in the COVID19 pandemic environment.- Oil Consumption Analysis in the Usa in Current Time.
£125.99
Springer Nature Switzerland AG Data Science and Intelligent Systems: Proceedings
Book SynopsisThis book constitutes the second part of refereed proceedings of the 5th Computational Methods in Systems and Software 2021 (CoMeSySo 2021) proceedings. The real-world problems related to data science and algorithm design related to systems and software engineering are presented in this papers. Furthermore, the basic research’ papers that describe novel approaches in the data science, algorithm design and in systems and software engineering are included.The CoMeSySo 2021 conference is breaking the barriers, being held online. CoMeSySo 2021 intends to provide an international forum for the discussion of the latest high-quality research resultsTable of ContentsMultiple OLAP Reports and the Best Compromise in the Decision-Making Process.- One Step Deep Learning Approach to Grasp Detection in Robotics.- Value Set-Based Numerical Analysis of Robust Stability for Fractional-Order Retarded Quasi-Polynomials with Uncertain Parameters and Uncertain Fractional Orders.- Crisis Risk Management in Organizational Systems.- Fashion Trend Forecasting Using Machine Learning Techniques: A Review.- Development of the Index Paradigm in Remote Sensing of Soil-Vegetable Cover.- Electric and hybrid vehicles: analysis of factors influencing purchase intentions of consumers in Czechia.- The Oil Production Dynamics Analysis in the World for Half a Century in Value Terms.- The Changes Dynamics Analysis in the Japanese Stock Exchange Nikkei^225 Index in the Latest Time.- Image segmentation of acidity of agricultural lands in eastern Siberia.- Management of Documented Information to Ensure Traceability of Radioelectronic Equipment Production Using Software.- Comparing different supervised classification algorithms to detect Arrhythmia in an ECG.
£125.99
Springer Nature Switzerland AG Requirements Engineering: Laying a Firm
Book SynopsisThis textbook lays the foundations for System-of-Systems Requirements Engineering and Requirements Management practices, principles, technique, and processes. It provides a comprehensive treatment of requirements engineering, an integral part of Multidisciplinary Systems Engineering. The book takes the student/reader though the entire process of documenting, analyzing, tracing, prioritizing, and managing requirements, and then goes on the describe controlling and communicating requirement change throughout the system development lifecycle. The authors discuss the role of requirements management in support of other requirements engineering processes; describe the principal requirements engineering activities and their relationships; introduces techniques for requirements elicitation and analysis and describes requirements validation and the role of requirements reviews; and discusses the role of requirements management in support of other requirements engineering processes. A full suite of classroom material is provided including exercises, assignments, and PowerPoint slides.Table of ContentsIntroduction.- Section I: Requirements Engineering Fundamentals.- Background.- The Need for Requirements Engineering – Why?.- Requirements Engineering Processes – What?.- System Engineering and Requirements – How?.- Developer Derived Requirements.- New Development vice Existing System Extension/Upgrades.- System Tier(s).- Section II: Requirements.- Engineering Mechanics.- MDSE Requirements Engineering.- Categories of Requirements.- Composition of a Requirement.- Use of Tables in Requirements.- Requirements Traceability.- Section III: Requirements Engineering Management .- Requirements Change Management.- Requirement Agility (Supporting Agile Development).- Typical Requirement Anti-Patterns.- Section IV: Requirements Engineering and System of Systems.- Legacy Systems and Requirements Management.- Optimizing Performance across Systems.- SOA What?.- Final Thoughts on Requirements Management.- Conclusion.
£123.49
Springer Nature Switzerland AG Software Engineering, Artificial Intelligence,
Book SynopsisThis book presents scientific results of the 22nd ACIS International Fall Virtual Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2021-Fall) which was held on November 24–26, 2021, at Taichung, Taiwan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 13 of most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.Table of ContentsSegmentation of Spinal MRI Images and New Compression Fracture Detection.- Key issues for Digital Factory Designing and Planning: A Survey.- Concentration-based robot control method with FPGA.- SolarWinds Software Supply Chain Security: Better Protection with Enforced Policies and Technologies.- A Data Hiding Technology by Applying Interpolation in Extended Local Binary Pattern.- Insect Species Identification System Based on Deep Learning.- Study of DIFA based Learning Data Generating Methodology for Malware Detection.
£123.49
Springer Nature Switzerland AG SQL Server Database Programming with Java:
Book SynopsisThis textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook. Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students’ learning and understanding for topics they study in the classroom. Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook.This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.Table of Contents
£42.74
Springer Nature Switzerland AG SQL Server Database Programming with Java:
Book SynopsisThis textbook covers both fundamental and advanced Java database programming techniques for beginning and experienced students as well as programmers (courses related to database programming in Java with Apache NetBeans IDE 12 environment). A sample SQL Server 2019 Express database, CSE_DEPT, is created and implemented in all example projects throughout this textbook. Over 40 real sample database programming projects are covered in this textbook with detailed illustrations and explanations to help students understand the key techniques and programming technologies. Chapters include homework and selected solutions to strengthen and improve students’ learning and understanding for topics they study in the classroom. Both Java desktop and Web applications with SQL Server database programming techniques are discussed and analyzed. Some updated Java techniques, such as Java Server Pages (JSP), Java Server Faces (JSF), Java Web Service (JWS), JavaServer Pages Standard Tag Library (JSTL), JavaBeans and Java API for XML Web Services (JAX-WS) are also discussed and implemented in the real projects developed in this textbook.This textbook targets mainly advanced-level students in computer science, but it also targets entry-level students in computer science and information system. Programmers, software engineers and researchers will also find this textbook useful as a reference for their projects.Table of Contents
£42.74
Springer Nature Switzerland AG Critical Infrastructure Protection XV: 15th IFIP
Book SynopsisThe information infrastructure – comprising computers, embedded devices, networks and software systems – is vital to operations in every sector: chemicals, commercial facilities, communications, critical manufacturing, dams, defense industrial base, emergency services, energy, financial services, food and agriculture, government facilities, healthcare and public health, information technology, nuclear reactors, materials and waste, transportation systems, and water and wastewater systems. Global business and industry, governments, indeed society itself, cannot function if major components of the critical information infrastructure are degraded, disabled or destroyed.Critical Infrastructure Protection XV describes original research results and innovative applications in the interdisciplinary field of critical infrastructure protection. Also, it highlights the importance of weaving science, technology and policy in crafting sophisticated, yet practical, solutions that will help secure information, computer and network assets in the various critical infrastructure sectors. Areas of coverage include: Industrial Control Systems Security; Telecommunications Systems Security; Infrastructure Security. This book is the fourteenth volume in the annual series produced by the International Federation for Information Processing (IFIP) Working Group 11.10 on Critical Infrastructure Protection, an international community of scientists, engineers, practitioners and policy makers dedicated to advancing research, development and implementation efforts focused on infrastructure protection. The book contains a selection of 13 edited papers from the Fifteenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, held as a virtual event during the spring of 2021. Critical Infrastructure Protection XV is an important resource for researchers, faculty members and graduate students, as well as for policy makers, practitioners and other individuals with interests in homeland security.
£67.49
Springer Nature Switzerland AG Sense, Feel, Design: INTERACT 2021 IFIP TC 13
Book SynopsisThis book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy. The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today’s and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice.Chapter “Extreme Citizen Science Contributions to the Sustainable Development Goals: Challenges and Opportunities for a Human-Centred Design Approach” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.Table of ContentsAdaptivity.- Collaborative and Social Computing.- Context of Use.- Designing for Smart Devices & IoT.- Designing Safety Critical Systems.- HCI Engineering.- HCI Teaching.- Human-centred Development of Sustainable Technology.- Human-Computer Interaction.- Human-Work Interaction.- Interaction Design.- Ubiquitous and Mobile Computing.- Virtual Reality.
£80.99
Springer Nature Switzerland AG Language, Logic, and Computation: 13th
Book SynopsisThis book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)Table of ContentsLanguage and Logic.- Logic and Computation.- Mathematical Logic.- Computational Linguistics.- Semantics.- Georgian.- German.
£58.49
Springer Nature Switzerland AG Fundamental Approaches to Software Engineering:
Book SynopsisThis open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions 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 ContentsFASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
£33.24
Springer International Publishing AG Deployment and Operation of Complex Software in
Book SynopsisThis open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.Table of ContentsOrchestrating Heterogeneous Applications: Motivation and State of the Art.- The SODALITE Approach: an Overview.- The SODALITE Model-driven Approach.- Quality Assurance and Design-time Optimization.- The SODALITE Runtime Environment.- SODALITE in Context.- SODALITE Use Cases.- Toward Impact Generation and Future Research.
£23.74
Springer International Publishing AG Agile Software Engineering Skills
Book SynopsisThis textbook is about working in teams to create functioning software. It covers skills in agile software development methods, team working, version control and continuous integration and shows readers how to apply some of the latest ideas from lean, agile and Kanban. Part I, which focuses on People, describes various project roles and the skills needed to perform each role. This includes members of self-organizing teams, scrum masters, product owners and activities for managing other stakeholders. The skills needed to create Product artefacts are detailed in Part II. These include skills to create agile requirements, architectures, designs as well as development and security artefacts. The agile development Process to coordinate with co-workers is described in Part III. It introduces the skills needed to facilitate an incremental process and to use software tools for version control and automated testing. Eventually some more advanced topics are explained in Part IV. These topics include large projects comprising multiple cooperating teams, automating deployment, cloud software services, DevOps and evolving live systems. This textbook addresses significant competencies in the IEEE/ACM Computing Curricula Task Force 2020. It includes nearly 100 exercises for trying out and applying the skills needed for agile software development. Hints, tips and further advice about tackling the exercises are presented at the end of each chapter, and a case study project, with downloadable source code from an online repository, integrates the skills learned across the chapters. In addition, further example software projects are also available there. This way, the book provides a hands-on guide to working on a development project as part of a team, and is inspired by the needs of early career practitioners as well as undergraduate software engineering and computer science students. Table of Contents- 1. Introduction and Principles. - Part I People. - 2. Self-Organising Teams. - 3. Agile Roles. - 4. Managing Stakeholders. - 5. Ethics. 6. Tabby Cat Project, Getting Started. - Part II Product. - 7. Requirements. - 8. Architecture. - 9. Design. - 10. Development. - 11. Security. - 12. Tabby Cat Project: Getting Building. - Part III Process, Tools and Automation. - 13. Agile Ceremonies. - 14. Lean. - 15. Version Control. - 16. Testing and Test Automation. - 17. Tabby Cat Project: Process, Tools and Automation. - Part IV Advanced Skills. - 18. Large-Scale Agile. - 19. Cloud Deployment. - 20. Technical Debt, Software Evolution and Legacy. - 21. DevOps. - Appendix A Research Methods. - Appendix B Further Reading.
£41.79
Springer International Publishing AG NASA Formal Methods: 14th International
Book SynopsisThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc. Table of ContentsInvited Keynotes.- Formal Methods for Trusted Space Autonomy: Boon or Bane.- An Essence of Domain Engineering - A Basis for Trustworthy Aeronautics and Space Software.- Concept Design Moves.- Automating Program Transformation with Coccinelle.- The Prusti Project: Formal Verification for Rust.- Summers Reachability Analysis for Cyber-Physical Systems: Are we there yet.- Regular Submissions.- Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems.- Quantification of Battery Depletion Risk Made Efficient.- Hierarchical Contract-based Synthesis for Assurance Cases.- Verified Probabilistic Policies for Deep Reinforcement Learning.- NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing.- The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS.- Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning.- Towards Refactoring FRETish Requirements.- Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability.- ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs.- Permutation Invariance of Deep Neural Networks with ReLUs.- Configurable Benchmarks for C Model Checkers.- AssumeGuarantee Reasoning with Scheduled Components.- Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning.- From Verified Scala to STIX File System Embedded Code using Stainless.- On the Termination of Borrow Checking in Featherweight Rust.- Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme.- Zone Extrapolations in Parametric Timed Automata.- Exemplifying Parametric Timed Specifications over Signals with Bounded Behavior.- Timed Automata Learning via SMT Solving.- Asynchronous Composition of Local Interface LTL Properties.- Elucidation and Analysis of Specification Patterns in Aerospace System Telemetry.- Robust Computation Tree Logic.- On the-Fly Model Checking with Neural MCTS.- Checking and Test Generation for Comprehensive Verification.- Operational Annotations: a New Method for Sequential Program Verification.- Byzantine Fault Tolerant Consensus in Agda.- DSV: Disassembly Soundness Validation without Assuming a Ground Truth.- Probabilistic Hyperproperties with Rewards.- Hypercontracts.- Monitorability of Expressive Verdicts.- BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees.- Approximate Translation from Floating-Point to Real-Interval Arithmetic.- Synthesis of Optimal Defenses for System Architecture Design Model in MaxSMT.- Certified Computation of Nondeterministic Limits.- The Power of Disjoint Support Decompositions in Decision Diagrams.- Incremental Transitive Closure for Zonal Abstract Domain.- Proof Mate: an Interactive Proof Helper for PVS.- Runtime Verification Triggers.- Real-time, Autonomous Fault Recovery on the CySat-I.
£98.99
Springer International Publishing AG Reuse and Software Quality: 20th International
Book SynopsisThis book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.
£44.99
Springer International Publishing AG Cybernetics Perspectives in Systems: Proceedings
Book SynopsisThis book contains the refereed proceedings of the Cybernetics Perspectives in Systems session of the 11th Computer Science On-line Conference 2022 (CSOC 2022), which was held in April 2022 online. Papers on modern cybernetics and informatics in the context of networks and systems are an important component of current research issues. This volume contains an overview of recent method, algorithms and designs.
£161.99
Springer International Publishing AG Software Engineering Research, Management and
Book SynopsisThis edited book presents scientific results of the 20th IEEE/ACIS International Conference on Software Engineering Research, Management, and Applications (SERA2022) held on May 25, 2022, in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 12 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.Table of ContentsExamining the Factors that Influence Customers’ Intention to Use Smartwatches in Malaysia Using UTAUT2 Model.- Generating Adversarial Robust Defensive CAPTCHA (GARD-CAPTCHA) in Convolutional Neural Networks.- A Deep Learning Approach for Lantana Camara Weed Detection and Localization in the Natural Environment.- Modeling Concretizations in Software Design.- A Practical Style Guide and Templates Repository for Writing Effective Use Cases.- Label Correction of Sound Data with Label Noise Using Self Organizing Map.- Evaluation Method of Enterprise Cybersecurity.- A Multi-model Multi-task Learning System for Hurricane Genesis Prediction.- Development of Autonomous Driving Adaptive Simulation System Using Deep Learning Process Model.- An OCL Implementation for Model-Driven Engineering of C++.- Improving Students’ Readiness Toward the Labor Market Through Customized Learning.- Assessing Software Fault Risk with Machine Learning.
£80.99
Springer International Publishing AG Web Engineering: 22nd International Conference,
Book SynopsisThis book constitutes the thoroughly refereed proceedings of the 22nd International Conference on Web Engineering, ICWE 2022, held in Bari, Italy, in July 2022. The 23 revised full papers and 5 short papers presented were carefully reviewed and selected from 81 submissions. The books also contains 6 demonstration and poster papers, 7 symposium and 5 tutorial papers. They are organized in topical sections named: recommender systems based on web technology; social web applications; web applications modelling and engineering; web big data and web data analytics; web mining and knowledge extraction; web security and privacy; web user interfaces.Table of Contentsrecommender systems based on web technology.- social web applications.- web applications modelling and engineering.- web big data and web data analytics.- web mining and knowledge extraction.- web security and privacy.- web user interfaces.- web mining and knowledge extraction.- web Big Data and Web data analytics.- Mobile Web applications.- web of Things applications.- social Web applications.- web crowdsourcing and human computation.- semantic web.- web ontologies, and Linked Open Data applications.- quality and accessibility aspects of Web applications.- web composition and mashups.- web user interfaces.- web security and privacy.- web programming.- web services, computing, and standards.
£66.49
Springer International Publishing AG Theoretical Aspects of Software Engineering: 16th
Book SynopsisThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.Table of ContentsSoftware Engineering.- Theoretical Computer Science in industrial applications.- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.
£66.49
Springer International Publishing AG Supercomputing Frontiers: 7th Asian Conference,
Book SynopsisThis open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.Table of ContentsVapor condensation under electric field: A study using molecular dynamics simulation.- High performance parallel LOBPCG method for large Hamiltonian derived from Hubbard model on multi-GPU systems.- The effect of wing mass and wing elevation motion during insect forward flight.- On the Difference between Shared Memory and Shared Address Space in HPC Communication.- Evaluating GPU Programming Models for the LUMI Supercomputer.- Memory hierarchy.- HPC cloud platform, container image configuration workflow.- scheduling.- .Evaluating methods of transferring large datasets.- Service Function Chaining Design & Implementation Using Network Service Mesh in Kubernetes.
£33.24
Springer International Publishing AG Developing Sustainable and Energy-Efficient
Book SynopsisThis open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.Table of Contents- 1. Concept and Principles of Measurement. - 2. Metrics of Sustainability and Energy Efficiency of Software Products and Process. - 3. System Energy Consumption Measurement. - 4. GQM and Recommender System for Relevant Metrics. - 5. Metrics Representation and Dashboards. - 6. Architecture of AISEMA System.
£33.24
Springer International Publishing AG Meta Heuristic Techniques in Software Engineering
Book SynopsisThis book discusses an integration of machine learning with metaheuristic techniques that provide more robust and efficient ways to address traditional optimization problems. Modern metaheuristic techniques, along with their main characteristics and recent applications in artificial intelligence, software engineering, data mining, planning and scheduling, logistics and supply chains, are discussed in this book and help global leaders in fast decision making by providing quality solutions to important problems in business, engineering, economics and science. Novel ways are also discovered to attack unsolved problems in software testing and machine learning. The discussion on foundations of optimization and algorithms leads beginners to apply current approaches to optimization problems. The discussed metaheuristic algorithms include genetic algorithms, simulated annealing, ant algorithms, bee algorithms and particle swarm optimization. New developments on metaheuristics attract researchers and practitioners to apply hybrid metaheuristics in real scenarios.Table of ContentsPerformance analysis of Heuristic optimization algorithms for Transportation problem.- Source Code Features Based Branch Coverage Prediction using Ensemble Technique.- Implicit Methods of Multi-Factor Authentication.- Comparative Analysis of different Classifiers Using Machine Learning Algorithm for Diabetes Mellitus.- Survey on Machine Learning Techniques for Software Reliability Accuracy Prediction.- Classification of Pest in Tomato Plants using CNN.- Deep Neural Network Approach For Identifying Good Answers in Community Platforms.- Time Series Analysis of SAR-Cov-2 virus in India using Facebook’s Prophet.- Model-Based Smoke Testing Approach of Service Oriented Architecture (SOA).- Role of Hybrid Evolutionary Approaches for Feature Selection in Classification: A Review.- Evaluation of Deep Learning Models for Detecting Breast Cancer using Mammograms.- Evaluation of Crop Yield Prediction using arsenal and Ensemble Machine learning algorithms.- Notification Based Multichannel MAC (NM-MAC) Protocol for Wireless Body Area Network.- A multi Brain Tumor Classification using a Deep Reinforcement Learning Model.- A Brief Analysis on Security in Healthcare Data using Blockchain.- A Review on Test Case Selection, Prioritization and Minimization in Regression Testing.- Artificial Intelligence Advancement in Pandemic Era.- Predictive technique for Identification of Diabetes using Machine Learning.- Prognosis of Prostate Cancer Using Machine Learning.- Sign language Detection Using Tensorflow Object Detection.- Automated Test Case Prioritization using Machine Learning.- A New Approach To Solve Linear Fuzzy Stochastic Differential Equation.- An Improved Software Reliability Prediction Model by Using Feature Selection and Extreme Learning Machine.- Signal Processing Approaches for Encoded Protein Sequences in Gynaecological Cancer Hotspot Prediction: A Review.- DepNet: Deep Neural Network based model for Estimating the Crowd Count.- Dynamic Stability enhancement of Power system by Sailfish Algorithm tuned fractional SSSC control action.- Application of Machine Learning Model Based Techniques for Prediction of Heart Diseases.- Software Effort and Duration Estimation using SVM and Logistic Regression.- A framework for ranking cloud services based on an integrated BWM-Entropy-TOPSIS Method.- An Efficient and Delay-Aware Path Construction Approach Using Mobile Sink in Wireless Sensor Network.- Application of Different Control Techniques of multi-area Power Systems.- Analysis of An Ensemble Model For Network Intrusion Detection.- D2D Resource Allocation for Joint Power Control in Heterogeneous Cellular Networks.- Prediction of Covid-19 Cases in Kerala based on meteorological parameters using BiLSTM Technique.
£116.99
Springer International Publishing AG Design and Architecture for Signal and Image
Book SynopsisThis book constitutes the thoroughly refereed conference proceedings of the First International Workshop on Design and Architecture for Signal and Image Processing, DASIP 2022, held in Budaypest, Hungary in June 2022. The 13 full included in the volume were carefully reviewed and selected from 32 submissions. They are organized in the following topical sections: leading signal, image and video processing and machine learning in custom embedded, edge and cloud computing architectures and systems.Table of ContentsSoftware and Architecture for Telecommunication Systems.- Towards Lightweight Deep-Learning Techniques.- Design Automation and Optimization Techniques for Embedded Hardware and Software.- Optimized Hardware and Software Implementations for Image Processing and Health Applications.
£47.49
Springer International Publishing AG Intelligent Computing Theories and Application:
Book SynopsisThis two-volume set of LNCS 13393 and LNCS 13394 constitutes - in conjunction with the volume LNAI 13395 - the refereed proceedings of the 18th International Conference on Intelligent Computing, ICIC 2022, held in Xi'an, China, in August 2022. The 209 full papers of the three proceedings volumes were carefully reviewed and selected from 449 submissions.This year, the conference concentrated mainly on the theories and methodologies as well as the emerging applications of intelligent computing. Its aim was to unify the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. Therefore, the theme for this conference was “Advanced Intelligent Computing Technology and Applications”. Papers focused on this theme were solicited, addressing theories, methodologies, and applications in science and technology.Table of ContentsEvolutionary Computing and Learning. Neural Networks.- Pattern Recognition.- Image Processing.- Information Security.- Biomedical Informatics Theory and Methods.- Biomedical Data Modeling and Mining.- Intelligent Computing in Computational Biology.- Computational Genomics and Biomarker Discovery.- Intelligent Computing in Drug Design.- Theoretical Computational Intelligence and Applications.- Fuzzy Theory and Algorithms.- Machine Learning and Data Mining.- Intelligent Computing in Computer Vision.- Intelligent Control and Automation.- Intelligent Data Analysis and Prediction.- Intelligent Computing and Optimization.
£85.49
Springer International Publishing AG Machine Learning and Knowledge Extraction: 6th
Book SynopsisThis book constitutes the refereed proceedings of the 6th IFIP TC 5, TC 12, WG 8.4, WG 8.9, WG 12.9 International Cross-Domain Conference, CD-MAKE 2022, held in Vienna, Austria during August 2022.The 23 full papers presented were carefully reviewed and selected from 45 submissions. The papers are covering a wide range from integrative machine learning approach, considering the importance of data science and visualization for the algorithmic pipeline with a strong emphasis on privacy, data protection, safety and security.Table of ContentsExplain to Not Forget: Defending Catastrophic Forgetting with XAI.- Approximation of SHAP values for Randomized Tree Ensembles.- Color shadows (part I): exploratory usability evaluation of activation maps in radiological machine learning.- Effects of Fairness and Explanation on Trust in Ethical AI.- Towards Refined Classifications driven by SHAP explanations.- Global Intepretable Calibration Index, a New Metric to Estimate Machine Learning Models' Calibration.- The ROC Diagonal is not Layperson’s Chance: a New Baseline Shows the Useful Area.- Debiasing MDI Feature Importance and SHAP values in Tree Ensembles.- The Influence of User Diversity on Motives and Barriers when Using Health Apps - A Conjoint Investigation of the Intention-Behavior Gap.- Identifying Fraud Rings Using Domain Aware Weighted Community Detection.- Capabilities, limitations and challenges of style transfer with CycleGANs: a study on automatic ring design generation.- Semantic Causal Abstraction for Event Prediction.- An Evaluation Study of Intrinsic Motivation Techniques applied to Reinforcement Learning over Hard Exploration Environments.- Towards Generating Financial Reports From Tabular Data Using Transformers.- Evaluating the performance of SOBEK text mining keyword extraction algorithm.- Classification of Screenshot Image Captured in Online Meeting System.- A survey on the application of virtual reality in event-related potential research.- Visualizing Large Collections of URLs Using the Hilbert Curve.- How to Reduce the Time Necessary for Evaluation of Tree-based Models.- An Empirical Analysis of and Guidelines for Synthetic-Data-based Anomaly Detection.- SECI Model in Data-Based Procedure for the Assessment of the Frailty State in Diabetic Patients.- Comparing machine learning correlations to domain experts’ causal knowledge: Employee turnover use case.- Machine learning and knowledge extraction to support work safety for smart forest operations.
£71.24
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
