Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13299)
Included in the following conference series:
Conference proceedings info: TASE 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (27 papers)
Other volumes
-
Theoretical Aspects of Software Engineering
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer programming
- computer science
- computer systems
- embedded systems
- engineering
- formal logic
- internet
- linguistics
- mathematics
- model checking
- object-oriented programming
- signal processing
- software architecture
- software design
- software engineering
- software quality
- theoretical computer science
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Theoretical Aspects of Software Engineering
Book Subtitle: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
Editors: Yamine Aït-Ameur, Florin Crăciun
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-10363-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-10362-9Published: 01 July 2022
eBook ISBN: 978-3-031-10363-6Published: 01 July 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XV, 426
Number of Illustrations: 102 b/w illustrations, 90 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Database Management, Information Systems Applications (incl. Internet), Logic in AI, Knowledge based Systems, Natural Language Processing (NLP)