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

    • €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
Software Engineering and Formal Methods Software Engineering and Formal Methods
2021
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
2021
Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
2019
Formal Methods Formal Methods
2021
NASA Formal Methods NASA Formal Methods
2022
Formal Methods and Software Engineering Formal Methods and Software Engineering
2020
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
2020
Formal Methods and Software Engineering Formal Methods and Software Engineering
2019
Model and Data Engineering Model and Data Engineering
2016