Software Engineering

This book provides an overview about the open challenges in software verification. Software verification is a branch of software engineering aiming...

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Ana...

Systems Modelling Language (SysML) is a tailored version of the unified modelling language (UML) that meets the needs of today's systems engineerin...

This book constitutes the proceedings of the 23rd International Conference on Computer Information Systems and Industrial Management, CISIM 2024, h...

Brain Technology in Augmented Cognition: Current and Future Trends informs engineers interested in human-computer interaction about the current sta...

This book is a self-contained introduction to engineering and testing machine learning (ML) systems. It systematically discusses and teaches the ar...

This Festschrift honors the remarkable career of Prof. Dr. Dimitris Karagiannis whose research has been focused on metamodeling, method engineering...

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge ...

This book constitutes the refereed proceedings of the 22nd International Conference on Practical Applications of Agents and Multi-Agent Systems, PA...

A concise and practical introduction to the foundations and engineering principles of self-adaptation Though it has recently gained significant mom...

This book contains revised and extended versions of a selection of  papers presented at the 31st IFIP WG 10.5/IEEE International Conference on the ...

This book requires an in-depth exploration of machine learning and its integration into system engineering. This book presents contemporary researc...

This book gives a realistic overview of model-based testing, its values and prerequisites for success when deploying the approach in a software tes...

Software testing and quality assurance are critical tasks in quality control of software products and application systems. This book focuses on the...

* This book tackles fundamental principles on which the methods, tools, and procedures of software engineering rely. * Explains the purposes and go...

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving...

This multi-volume LNCS set, LNCS 15148-15151, constitutes the refereed proceedings of the 18th International Conference on Parallel Problem Solving...

This volume gives readers an understanding of the multifaceted threats posed by the evolving cybersecurity landscape in smart environments, while a...

In the rapidly evolving landscape of finance and governance, the integration of blockchain technology and artificial intelligence is reshaping the ...

This book provides a comprehensive overview and introduction to Big Data Infrastructure technologies, existing cloud-based platforms, and tools for...

What are the means to create a paradigm shift from conventional to intelligent companies? Industry 6.0: Technology, Practices, Challenges and Appli...

This multi-volume set, LNAI 14941 to LNAI 14950, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge ...

This book delves into the complex field of dynamic systems engineering, exploring two fundamental pillars: an introduction to the modeling, analysi...

This book provides a focused overview of what role artificial intelligence (AI) plays on the design and process of system development and perspecti...

TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joi...

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, he...

In this new book, leading practitioner Greg Young shows how to incorporate effective domain modeling throughout the software development process, d...

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Application...

The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Application...

This book constitutes of the proceedings from the 28th International Conference on Engineering of Complex Computer Systems, ICECCS 2024, held in Li...