Hermann Kaindl - Böcker

This book constitutes selected, revised and extended papers of the 15th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2020, held in virtual format, in May 2020.The 19 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current research on novel approaches to software engineering for the development and maintenance of systems and applications, specically with relation to: model-driven software engineering, requirements engineering, empirical software engineering, service-oriented software engineering, business process management and engineering, knowledge management and engineering, reverse software engineering, software process improvement, software change and configuration management, software metrics, software patterns and refactoring, application integration, software architecture, cloud computing, and formalmethods.

The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), held as an online event from April 26 to 27, 2021.The 15 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers included in this book contribute to the understanding of relevant trends of current research on novel approaches to software engineering for the development and maintenance of systems and applications, specically with relation to: model-driven software engineering, requirements engineering, empirical software engineering, service-oriented software engineering, business process management and engineering, knowledge management and engineering, reverse software engineering, software process improvement, software change and configuration management, software metrics, software patterns and refactoring, application integration,software architecture, cloud computing, and formal methods.

This book constitutes the refereed proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, held Virtually.The 15 full papers included in this book were carefully reviewed and selected from 109 submissions. They were organized in topical sections as follows: Theory and Practice of Systems and Applications Development; Challenges and Novel Approaches to Systems and Software Engineering (SSE); and Systems and Software Quality.

This book constitutes the refereed post-conference proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2023, held in Prague, Czech Republic, during April 24–25, 2023.The 15 revised full papers presented in these proceedings were carefully reviewed and selected from 121 submissions. They contribute to the understanding of relevant trends of current research on Evaluation of Novel Approaches to Software Engineering, including: requirements engineering, artificial intelligence development, natural language processing, autonomous systems, model-driven development, product line engineering, software patterns, software metrics, quality assurance, and process management.

This book constitutes the refereed post-conference proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2024, held in Angers, France, during April 28–29, 2024.The 16 full papers and 6 short papers presented in this book were carefully reviewed and selected from 128 submissions. They are organized into the following topical sections : Theory and Practice of Systems and Applications Development; Challenges and Novel Approaches to Systems and Software Engineering (SSE); Systems and Software Quality; and Systems and Software Engineering (SSE) for Emerging Domains.

Die Zielsetzung der Artificial Intelligence (AI) ist es, Maschinen, zu erzeugen, die "intelligentes" Verhalten zeigen. Dabei spielt in vielerlei Hinsicht das Problemlösen eine zentrale Rolle. Die in diesem Buch behandelten Ansätze basieren auf heuristischer Suche. Das Buch bietet eine umfassende Behandlung des "State-of-the-art" dieses Teilbereichs der AI und zeigt fundamentale Zusammenhänge verschiedenster Problemstellungen und ihrer Lösungen auf. Bei der Darstellung steht die intuitive Vermittlung von Ideen im Vordergrund (unterstützt durch leicht verständliche Beispiele). Wo es die Thematik erfordert, kommt jedoch auch mathematische Notation zum Einsatz, und es werden exakte Beweise angegeben. Die derzeit bekannten Such-Verfahren werden hier in einem einheitlichen Formalismus präsentiert, um eine Gegenüberstellung zu ermöglichen. Die Begriffswelt dieses Teilbereiches der AI wird unter Zuhilfenahme von (großteils informalen) Definitionen umfassend erläutert, um eine klare Darstellung der Materie zu erreichen. Außerdem soll dem Leser dieses Buches ein guter Einstieg in die einschlägigge (größtenteils englischsprachige) Fachliteratur ermöglicht werden.