國立虎尾科技大學 |

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Software Engineering and Formal Methods/ edited by Frank de Boer, Antonio Cerone.
Reminder of title:	18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
other author:	de Boer, Frank.
Description:	XIV, 325 p. 639 illus., 63 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-030-58768-0
ISBN:	9783030587680

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
Software Engineering and Formal Methods18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /[electronic resource] :edited by Frank de Boer, Antonio Cerone. - 1st ed. 2020. - XIV, 325 p. 639 illus., 63 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12310. - Theoretical Computer Science and General Issues ;9163.

Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution.

This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

ISBN: 9783030587680

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

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software Engineering and Formal Methods = 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings /
LDR:02627nam a22004095i 4500 001 1028789
003 DE-He213
005 20200911131655.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030587680 $9 978-3-030-58768-0
024 7 $a 10.1007/978-3-030-58768-0 $2 doi
035 $a 978-3-030-58768-0
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 Software Engineering and Formal Methods $h [electronic resource] : $b 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / $c edited by Frank de Boer, Antonio Cerone.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIV, 325 p. 639 illus., 63 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 Theoretical Computer Science and General Issues ; $v 12310
505 0 $a Testing -- Formal verification -- Program analysis -- Runtime verification -- Meta-programming and software development -- Evolution.
520 $a This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems. The Chapters "Multi-Purpose Syntax Definition with SDF3", “FRed: Conditional Model Checking via Reducers and Folders" and "Difference Verification with Conditions” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer hardware. $3 1069242
650 0 $a Special purpose computers. $3 1204562
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Computer Hardware. $3 669779
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
700 1 $a de Boer, Frank. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1264794
700 1 $a Cerone, Antonio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 796237
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030587673
776 0 8 $i Printed edition: $z 9783030587697
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-58768-0
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)