Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / edited by Yamine Aït-Ameur, Florin Crăciun.

Format:

Book

Contributor:

Aït-Ameur, Yamine, editor.

Craciun, Florin, editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 13299

Language:

English

Subjects (All):

Software engineering.

Database management.

Application software.

Logic programming.

Expert systems (Computer science).

Natural language processing (Computer science).

Software Engineering.

Database Management.

Computer and Information Systems Applications.

Logic in AI.

Knowledge Based Systems.

Natural Language Processing (NLP).

Local Subjects:

Software Engineering.

Database Management.

Computer and Information Systems Applications.

Logic in AI.

Knowledge Based Systems.

Natural Language Processing (NLP).

Physical Description:

1 online resource (441 pages)

Edition:

1st ed. 2022.

Place of Publication:

Cham : Springer International Publishing : Imprint: Springer, 2022.

Summary:

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.

Contents:

Software Engineering

Theoretical Computer Science in industrial applications

Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

Other Format:

Print version: Aït-Ameur, Yamine Theoretical Aspects of Software Engineering

ISBN:

3-031-10363-7