TY  - BOOK
AU  - Aït-Ameur,Yamine
AU  - Crăciun,Florin
TI  - Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031103636
U1  - 005.1 23
PY  - 2022///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Software engineering
KW  - Database management
KW  - Application software
KW  - Logic programming
KW  - Expert systems (Computer science)
KW  - Natural language processing (Computer science)
KW  - Software Engineering
KW  - Database Management
KW  - Computer and Information Systems Applications
KW  - Logic in AI
KW  - Knowledge Based Systems
KW  - Natural Language Processing (NLP)
N1  - Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques
N2  - 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
UR  - https://doi.org/10.1007/978-3-031-10363-6
ER  -