國立虎尾科技大學 |

Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Theoretical Aspects of Software Engineering/ edited by Yamine Aït-Ameur, Florin Crăciun.
其他題名:	16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /
其他作者:	Aït-Ameur, Yamine.
面頁冊數:	XV, 426 p. 192 illus., 90 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-031-10363-6
ISBN:	9783031103636

Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /
Theoretical Aspects of Software Engineering16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /[electronic resource] :edited by Yamine Aït-Ameur, Florin Crăciun. - 1st ed. 2022. - XV, 426 p. 192 illus., 90 illus. in color.online resource. - Lecture Notes in Computer Science,132991611-3349 ;. - Lecture Notes in Computer Science,9324.

Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.

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.

ISBN: 9783031103636

Standard No.: 10.1007/978-3-031-10363-6doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Theoretical Aspects of Software Engineering = 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings /
LDR:02175nam a22004095i 4500 001 1088059
003 DE-He213
005 20220701201220.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031103636 $9 978-3-031-10363-6
024 7 $a 10.1007/978-3-031-10363-6 $2 doi
035 $a 978-3-031-10363-6
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Theoretical Aspects of Software Engineering $h [electronic resource] : $b 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings / $c edited by Yamine Aït-Ameur, Florin Crăciun.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XV, 426 p. 192 illus., 90 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13299
505 0 $a Software Engineering -- Theoretical Computer Science in industrial applications -- Software Engineering Methodologies. Formal and theoretical software engineering methods and techniques.
520 $a 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.
650 0 $a Software engineering. $3 562952
650 0 $a Database management. $3 557799
650 0 $a Application software. $3 528147
650 0 $a Logic programming. $3 670217
650 0 $a Expert systems (Computer science). $3 669964
650 0 $a Natural language processing (Computer science). $3 802180
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Database Management. $3 669820
650 2 4 $a Computer and Information Systems Applications. $3 1365732
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Knowledge Based Systems. $3 1365951
650 2 4 $a Natural Language Processing (NLP). $3 1254293
700 1 $a Aït-Ameur, Yamine. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1268422
700 1 $a Crăciun, Florin. $e editor. $1 https://orcid.org/0000-0003-0335-8369 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1395194
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031103629
776 0 8 $i Printed edition: $z 9783031103643
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-10363-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)