Theoretical Aspects of Software Engineering

16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings

Yamine Aït-Ameur, Florin Crăciun (Herausgeber)

Buch | Softcover

XV, 426 Seiten

2022 | 1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-10362-9 (ISBN)

Artikel merken

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

Software Engineering.- Theoretical Computer Science in industrial applications.- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

Erscheinungsdatum	04.07.2022
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XV, 426 p. 192 illus., 90 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	676 g
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Applications • Architecting • architecture verification and validation • Artificial Intelligence • computer programming • Computer Science • Computer systems • conference proceedings • Embedded Systems • Engineering • Formal Logic • Informatics • Internet • Linguistics • Mathematics • Model Checking • object-oriented programming • Research • Signal Processing • software architecture • Software Design • Software engineering • Software Quality • theoretical computer science
ISBN-10	3-031-10362-9 / 3031103629
ISBN-13	978-3-031-10362-9 / 9783031103629
Zustand	Neuware