國立虎尾科技大學 |

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Software Engineering and Formal Methods/ edited by Einar Broch Johnsen, Ina Schaefer.
Reminder of title:	16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
other author:	Johnsen, Einar Broch.
Description:	XIV, 303 p. 98 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Software engineering. -
Online resource:	https://doi.org/10.1007/978-3-319-92970-5
ISBN:	9783319929705

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
Software Engineering and Formal Methods16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /[electronic resource] :edited by Einar Broch Johnsen, Ina Schaefer. - 1st ed. 2018. - XIV, 303 p. 98 illus.online resource. - Theoretical Computer Science and General Issues ;10886. - Theoretical Computer Science and General Issues ;9163.

Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse.

This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.

ISBN: 9783319929705

Standard No.: 10.1007/978-3-319-92970-5doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software Engineering and Formal Methods = 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings /
LDR:02150nam a22004095i 4500 001 987490
003 DE-He213
005 20200629133731.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|eng d
020 $a 9783319929705 $9 978-3-319-92970-5
024 7 $a 10.1007/978-3-319-92970-5 $2 doi
035 $a 978-3-319-92970-5
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 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings / $c edited by Einar Broch Johnsen, Ina Schaefer.
250 $a 1st ed. 2018.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a XIV, 303 p. 98 illus. $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 10886
505 0 $a Specification -- Concurrency -- Program analysis -- Model checking and runtime verification -- Applications -- Shape analysis and reuse.
520 $a This book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
650 0 $a Software engineering. $3 562952
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Computer programming. $3 527822
650 0 $a Computers. $3 565115
650 0 $a Computer system failures. $3 782237
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a The Computing Profession. $3 669954
650 2 4 $a System Performance and Evaluation. $3 669346
650 2 4 $a Theory of Computation. $3 669322
700 1 $a Johnsen, Einar Broch. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076436
700 1 $a Schaefer, Ina. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1210234
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319929699
776 0 8 $i Printed edition: $z 9783319929712
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-319-92970-5
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)