國立高雄大學圖資館 |

Language: English

Back

Dependable software engineeringtheor...

(1998 :)

Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Dependable software engineeringedited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
Reminder of title:	theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
remainder title:	SETTA 2017
other author:	Larsen, Kim Guldstrand.
corporate name:
Published:	Cham :Springer International Publishing :2017.
Description:	xviii, 351 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Software engineering
Online resource:	http://dx.doi.org/10.1007/978-3-319-69483-2
ISBN:	9783319694832$q(electronic bk.)

Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /[electronic resource] :SETTA 2017edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. - Cham :Springer International Publishing :2017. - xviii, 351 p. :ill., digital ;24 cm. - Lecture notes in computer science,106060302-9743 ;. - Lecture notes in computer science ;4891..

Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

ISBN: 9783319694832$q(electronic bk.)

Standard No.: 10.1007/978-3-319-69483-2doiSubjects--Topical Terms:

253562
Software engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
LDR:01918nmm a2200337 a 4500 001 523404
003 DE-He213
005 20171016231801.0
006 m d
007 cr nn 008maaau
008 180628s2017 gw s 0 eng d
020 $a 9783319694832$q(electronic bk.)
020 $a 9783319694825$q(paper)
024 7 $a 10.1007/978-3-319-69483-2 $2 doi
035 $a 978-3-319-69483-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S495 2017
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Dependable software engineering $h [electronic resource] : $b theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / $c edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
246 3 $a SETTA 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xviii, 351 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10606
505 0 $a Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.
520 $a This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.
650 0 $a Software engineering $3 253562
650 1 4 $a Computer Science. $3 212513
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Probability and Statistics in Computer Science. $3 274053
700 1 $a Larsen, Kim Guldstrand. $3 469140
700 1 $a Sokolsky, Oleg. $3 484982
700 1 $a Wang, Ji. $3 794504
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-69483-2
950 $a Computer Science (Springer-11645)