Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Software Engineering
Author: Hermann Kaindl
Publisher: Springer Nature
Total Pages: 345
Release: 2023-07-07
Genre: Computers
ISBN: 3031365976

Download Evaluation of Novel Approaches to Software Engineering Book in PDF, Epub and Kindle

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.

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering
Author: Einar Broch Johnsen
Publisher: Springer Nature
Total Pages: 347
Release: 2022-03-28
Genre: Computers
ISBN: 3030994295

Download Fundamental Approaches to Software Engineering Book in PDF, Epub and Kindle

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

Proceedings of the 13th International Conference on Computer Engineering and Networks

Proceedings of the 13th International Conference on Computer Engineering and Networks
Author: Yonghong Zhang
Publisher: Springer Nature
Total Pages: 491
Release: 2024-01-03
Genre: Technology & Engineering
ISBN: 9819992478

Download Proceedings of the 13th International Conference on Computer Engineering and Networks Book in PDF, Epub and Kindle

This book aims to examine innovation in the fields of computer engineering and networking. The text covers important developments in areas such as artificial intelligence, machine learning, information analysis, communication system, computer modeling, internet of things. This book presents papers from the 13th International Conference on Computer Engineering and Networks (CENet2023) held in Wuxi, China on November 3-5, 2023.

Evaluation of Novel Approaches to Software Engineering

Evaluation of Novel Approaches to Software Engineering
Author: Hermann Kaindl
Publisher:
Total Pages: 0
Release: 2023
Genre:
ISBN: 9783031365980

Download Evaluation of Novel Approaches to Software Engineering Book in PDF, Epub and Kindle

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.

Software Engineering and Formal Methods

Software Engineering and Formal Methods
Author: Bernd-Holger Schlingloff
Publisher: Springer Nature
Total Pages: 373
Release: 2022-09-21
Genre: Computers
ISBN: 303117108X

Download Software Engineering and Formal Methods Book in PDF, Epub and Kindle

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

Human-Centered Software Engineering

Human-Centered Software Engineering
Author: Regina Bernhaupt
Publisher: Springer Nature
Total Pages: 214
Release: 2022-08-22
Genre: Computers
ISBN: 3031147855

Download Human-Centered Software Engineering Book in PDF, Epub and Kindle

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