Theoretical Aspects of Software Engineering

Download or Read eBook Theoretical Aspects of Software Engineering PDF written by Yamine Aït-Ameur and published by Springer Nature. This book was released on 2022-07-01 with total page 441 pages. Available in PDF, EPUB and Kindle.
Theoretical Aspects of Software Engineering
Author :
Publisher : Springer Nature
Total Pages : 441
Release :
ISBN-10 : 9783031103636
ISBN-13 : 3031103637
Rating : 4/5 (36 Downloads)

Book Synopsis Theoretical Aspects of Software Engineering by : Yamine Aït-Ameur

Book excerpt: 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.


Theoretical Aspects of Software Engineering Related Books

Theoretical Aspects of Software Engineering
Language: en
Pages: 441
Authors: Yamine Aït-Ameur
Categories: Computers
Type: BOOK - Published: 2022-07-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Roman
Theoretical Aspects of Software Engineering
Language: en
Pages: 375
Authors: Cristina David
Categories: Computers
Type: BOOK - Published: 2023-06-26 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July
Theoretical Aspects of Software Engineering
Language: en
Pages: 486
Authors: Wei-Ngan Chin
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK

Theoretical Aspects of Software Engineering
Language: en
Pages: 306
Authors:
Categories: Computers
Type: BOOK - Published: 2008-01-01 - Publisher: IEEE

DOWNLOAD EBOOK

The 39 papers selected for the June 2008 symposium present new approaches to model checking, program analysis, service-oriented computing, verification and vali
Theoretical Aspects of Software Engineering
Language: en
Pages: 0
Authors: Wei-Ngan Chin
Categories: Computers
Type: BOOK - Published: 2024-08-09 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, C