國立虎尾科技大學 |

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Dependable Software Engineering. Theories, Tools, and Applications/ edited by Jun Pang, Lijun Zhang.
其他題名:	6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /
其他作者:	Zhang, Lijun.
面頁冊數:	XIII, 203 p. 228 illus., 31 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Simulation and Modeling. -
電子資源:	https://doi.org/10.1007/978-3-030-62822-2
ISBN:	9783030628222

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /
Dependable Software Engineering. Theories, Tools, and Applications6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /[electronic resource] :edited by Jun Pang, Lijun Zhang. - 1st ed. 2020. - XIII, 203 p. 228 illus., 31 illus. in color.online resource. - Programming and Software Engineering ;12153. - Programming and Software Engineering ;8987.

The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets -- Modelling and Implementation of Unmanned Aircraft Collision Avoidance -- Randomized Re nement Checking of Timed I/O Automata -- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata -- Compiling FL^{res} on Finite Words -- Symbolic Model Checking with Sentential Decision Diagrams -- Probably Approximately Correct Interpolants Generation -- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations -- Learning Safe Neural Network Controllers with Barrier Certificates -- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. .

ISBN: 9783030628222

Standard No.: 10.1007/978-3-030-62822-2doiSubjects--Topical Terms:

669249
Simulation and Modeling.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Dependable Software Engineering. Theories, Tools, and Applications = 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings /
LDR:02683nam a22004095i 4500 001 1025087
003 DE-He213
005 20201109104015.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030628222 $9 978-3-030-62822-2
024 7 $a 10.1007/978-3-030-62822-2 $2 doi
035 $a 978-3-030-62822-2
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 Dependable Software Engineering. Theories, Tools, and Applications $h [electronic resource] : $b 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings / $c edited by Jun Pang, Lijun Zhang.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIII, 203 p. 228 illus., 31 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 Programming and Software Engineering ; $v 12153
505 0 $a The Road Ahead for Supervisor Synthesis -- Reentrancy? Yes. Reentrancy bug? No -- Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets -- Modelling and Implementation of Unmanned Aircraft Collision Avoidance -- Randomized Re nement Checking of Timed I/O Automata -- Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata -- Compiling FL^{res} on Finite Words -- Symbolic Model Checking with Sentential Decision Diagrams -- Probably Approximately Correct Interpolants Generation -- Symbolic Verification of MPI Programs with Non-deterministic Synchronizations -- Learning Safe Neural Network Controllers with Barrier Certificates -- Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics.
520 $a This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering. .
650 2 4 $a Simulation and Modeling. $3 669249
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 2 4 $a Theory of Computation. $3 669322
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer simulation. $3 560190
650 0 $a Computer logic. $3 786340
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer organization. $3 596298
650 0 $a Computers. $3 565115
650 0 $a Software engineering. $3 562952
700 1 $a Zhang, Lijun. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1069379
700 1 $a Pang, Jun. $e editor. $1 https://orcid.org/0000-0002-4521-4112 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1321284
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030628215
776 0 8 $i Printed edition: $z 9783030628239
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-62822-2
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)