國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependable software engineeringtheor...

(1998 :)

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dependable software engineeringedited 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.
團體作者:
出版者:	Cham :Springer International Publishing :2020.
面頁冊數:	xiii, 203 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Software engineering
電子資源:	https://doi.org/10.1007/978-3-030-62822-2
ISBN:	9783030628222$q(electronic bk.)

Dependable software engineeringtheories, 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 ;4891..

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$q(electronic bk.)

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

253562
Software engineering

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

Dewey Class. No.: 005.1

Dependable software engineeringtheories, tools, and applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020 : proceedings /
LDR:02436nmm a2200361 a 4500 001 589404
003 DE-He213
005 20201109104015.0
006 m d
007 cr nn 008maaau
008 210601s2020 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 $3 253562
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
650 2 4 $a Logic in AI. $3 836108
650 2 4 $a Simulation and Modeling. $3 273719
700 1 $a Pang, Jun. $3 701659
700 1 $a Zhang, Lijun. $3 731334
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-62822-2
950 $a Computer Science (SpringerNature-11645)