Software Engineering

Information services are economic and organizational activities for informing people. Because informing is changing rapidly under the influence of ...

This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2024, held in Crete...

Nanoelectronic Devices for Hardware and Software Security has comprehensive coverage of the principles, basic concepts, structure, modeling, practi...

Content-Based Image Classification: Efficient Machine Learning Using Robust Feature Extraction Techniques is a comprehensive guide to research with...

Addressing key issues in modern cybernetics and informatics, this book presents vital research within networks and systems. It offers an extensive ...

This book constitutes the refereed proceedings of the 18th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic W...

Python Forensics: A Workbench for Inventing and Sharing Digital Forensic Technology, Second Edition provides never-before-published, proven forensi...

This book constitutes the refereed post proceedings of the 15th International Conference on Subject-Oriented Business Process Management, S-BPM ONE...

Truly Concurrent Process Algebra with Localities introduces localities into truly concurrent process algebras. The book explores all aspects of loc...

This book constitutes the proceedings of the 4th International Conference on Computer and Communication Engineering, CCCE 2024, which took place in...

This book aims at meeting the challenge of getting along with todays unprecedented rate of innovation supported by disruptive digital technologies,...

This volume constitutes the refereed proceedings of the workshops held at the 35th International Conference on Database and Expert Systems Applicat...

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...