Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering

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
    • 72,99 €
    • 72,99 €

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2022
1 July
LANGUAGE
EN
English
LENGTH
441
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
46.7
MB

More Books by Yamine Aït-Ameur & Florin Crăciun

Engineering of Complex Computer Systems Engineering of Complex Computer Systems
Engineering of Complex Computer Systems
2024
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
2020
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
Model and Data Engineering
2016