000 03548nam a22006135i 4500
001 978-3-030-62822-2
003 DE-He213
005 20240730172436.0
007 cr nn 008mamaa
008 201108s2020 sz | s |||| 0|eng d
020 _a9783030628222
_9978-3-030-62822-2
024 7 _a10.1007/978-3-030-62822-2
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aDependable Software Engineering. Theories, Tools, and Applications
_h[electronic resource] :
_b6th International Symposium, SETTA 2020, Guangzhou, China, November 24-27, 2020, Proceedings /
_cedited by Jun Pang, Lijun Zhang.
250 _a1st ed. 2020.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2020.
300 _aXIII, 203 p. 228 illus., 31 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12153
505 0 _aThe 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 _aThis 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 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aComputer engineering.
_910164
650 0 _aComputer networks .
_931572
650 0 _aLogic programming.
_92730
650 0 _aComputer simulation.
_95106
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aTheory of Computation.
_9103739
650 2 4 _aComputer Engineering and Networks.
_9103740
650 2 4 _aLogic in AI.
_933012
650 2 4 _aComputer Modelling.
_9103743
700 1 _aPang, Jun.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103745
700 1 _aZhang, Lijun.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103747
710 2 _aSpringerLink (Online service)
_9103750
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030628215
776 0 8 _iPrinted edition:
_z9783030628239
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v12153
_9103752
856 4 0 _uhttps://doi.org/10.1007/978-3-030-62822-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88306
_d88306