國立虎尾科技大學 |

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Methods and Software Engineering/ edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.
其他題名:	22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
其他作者:	Mahony, Brendan.
面頁冊數:	XI, 335 p. 98 illus., 48 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Natural Language Processing (NLP). -
電子資源:	https://doi.org/10.1007/978-3-030-63406-3
ISBN:	9783030634063

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
Formal Methods and Software Engineering22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /[electronic resource] :edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony. - 1st ed. 2020. - XI, 335 p. 98 illus., 48 illus. in color.online resource. - Programming and Software Engineering ;12531. - Programming and Software Engineering ;8987.

Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods.

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

ISBN: 9783030634063

Standard No.: 10.1007/978-3-030-63406-3doiSubjects--Topical Terms:

1254293
Natural Language Processing (NLP).

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Formal Methods and Software Engineering = 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings /
LDR:02277nam a22004335i 4500 001 1030926
003 DE-He213
005 20210224143623.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030634063 $9 978-3-030-63406-3
024 7 $a 10.1007/978-3-030-63406-3 $2 doi
035 $a 978-3-030-63406-3
050 4 $a QA75.5-76.95
050 4 $a QA76.63
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
245 1 0 $a Formal Methods and Software Engineering $h [electronic resource] : $b 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings / $c edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XI, 335 p. 98 illus., 48 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 Programming and Software Engineering ; $v 12531
505 0 $a Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods.
520 $a This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.
650 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Information Systems Applications (incl. Internet). $3 881699
650 2 4 $a Software Engineering. $3 669632
650 1 4 $a Theory of Computation. $3 669322
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Application software. $3 528147
650 0 $a Software engineering. $3 562952
650 0 $a Computers. $3 565115
700 1 $a Mahony, Brendan. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327957
700 1 $a Hou, Zhe. $e editor. $1 https://orcid.org/0000-0001-7164-0580 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327956
700 1 $a Lin, Shang-Wei. $e editor. $1 https://orcid.org/0000-0002-9726-3434 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1327955
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030634056
776 0 8 $i Printed edition: $z 9783030634070
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-63406-3
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)