國立虎尾科技大學 |

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

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Dependable software engineering/ edited 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:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xviii, 351 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Software engineering - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-69483-2
ISBN:	9783319694832

Dependable software engineering = theories, 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 ;6140..

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

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

528500
Software engineering
--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
LDR:01918nam a2200337 a 4500 001 905052
003 DE-He213
005 20171016231801.0
006 m d
007 cr nn 008maaau
008 190308s2017 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 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2017. $b Springer International Publishing : $b Imprint: Springer,
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 $v Congresses. $3 528500
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Probability and Statistics in Computer Science. $3 669886
700 1 $a Larsen, Kim Guldstrand. $3 1065020
700 1 $a Sokolsky, Oleg. $3 1171823
700 1 $a Wang, Ji. $3 636486
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-69483-2
950 $a Computer Science (Springer-11645)