東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependable software engineering = th...

SETTA (Symposium) (2020 :)

FindBook

Google Book

Amazon

博客來

Dependable software engineering = theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dependable software engineering/ edited by Jun Pang, Lijun Zhang.
其他題名:	theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
其他題名:	SETTA 2020
其他作者:	Pang, Jun.
團體作者:	SETTA (Symposium)
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xiii, 203 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Software engineering - Congresses. -
電子資源:	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 engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /[electronic resource] :SETTA 2020edited by Jun Pang, Lijun Zhang. - Cham :Springer International Publishing :2020. - xiii, 203 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,121530302-9743 ;. - Lecture notes in computer science ;12153..

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:

696781
Software engineering
--Congresses.

LC Class. No.: QA76.758 / .S47 2020

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:02436nmm a2200361 a 4500 001 2256920
003 DE-He213
005 20201109104015.0
006 m d
007 cr nn 008maaau
008 220420s2020 sz s 0 eng d
020 $a 9783030628222 $q (electronic bk.)
020 $a 9783030628215 $q (paper)
024 7 $a 10.1007/978-3-030-62822-2 $2 doi
035 $a 978-3-030-62822-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .S47 2020
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
090 $a QA76.758 $b .S495 2020
111 2 $a SETTA (Symposium) $n (6th : $d 2020 : $c Guangzhou, China) $3 3527639
245 1 0 $a Dependable software engineering $h [electronic resource] : $b theories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings / $c edited by Jun Pang, Lijun Zhang.
246 3 $a SETTA 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xiii, 203 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12153
490 1 $a Programming and software engineering
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 0 $a Software engineering $x Congresses. $3 696781
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer Systems Organization and Communication Networks. $3 891212
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Simulation and Modeling. $3 890873
700 1 $a Pang, Jun. $3 2108770
700 1 $a Zhang, Lijun. $3 1253132
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12153. $3 3527640
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-62822-2
950 $a Computer Science (SpringerNature-11645)