國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependable software engineeringtheor...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dependable software engineeringedited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
其他題名:	theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
其他題名:	SETTA 2017
其他作者:	Larsen, Kim Guldstrand.
團體作者:
出版者:	Cham :Springer International Publishing :2017.
面頁冊數:	xviii, 351 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Software engineering
電子資源:	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)