000 04861nam a22006255i 4500
001 978-3-319-47677-3
003 DE-He213
005 20240730195729.0
007 cr nn 008mamaa
008 161005s2016 sz | s |||| 0|eng d
020 _a9783319476773
_9978-3-319-47677-3
024 7 _a10.1007/978-3-319-47677-3
_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] :
_bSecond International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings /
_cedited by Martin Fränzle, Deepak Kapur, Naijun Zhan.
250 _a1st ed. 2016.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXVIII, 323 p. 78 illus.
_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 ;
_v9984
505 0 _aDependable Cyber-Physical Systems -- From Finitely Many Simulations to Flowpipes -- Toward Automatic Verification of Quantum Programs -- Place Bisimulation and Liveness for Open Petri Nets -- Divergence Detection for CCSL Specification via Clock Causality Chain -- Performance Evaluation on Modern Concurrent Data Structures -- GPU-accelerated Steady-state Computation of Large Probabilistic Boolean Networks -- Behavioural Pseudometrics for Nondeterministic Probabilistic Systems -- A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques -- Computing Specification-Sensitive Abstractions for Program Verification -- Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models -- Identifying XML Schema Constraints Using Temporal Logic -- Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET -- Importance Sampling for Stochastic Timed Automata -- Semipositivity in Separation Logic with Two Variables -- Distributed Computation of Fixed Points on Dependency Graphs -- A Complete Approximation Theory for Weighted Transition Systems -- Zephyrus2: On the Fly Deployment Optimization Using SMT and CP Technologies -- Exploiting Symmetry for Efficient Verification of Infinite-state Component-based Systems -- Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach -- An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties -- Time-bounded Statistical Analysis of Resource-constrained Business Processes with Distributed Probabilistic Systems -- Failure Estimation of Behavioral Specifications. .
520 _aThis book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016. The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services. .
650 0 _aSoftware engineering.
_94138
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9161176
650 0 _aComputer simulation.
_95106
650 0 _aComputer science
_xMathematics.
_93866
650 0 _aMathematical statistics.
_99597
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9161177
650 2 4 _aComputer Modelling.
_9161178
650 2 4 _aProbability and Statistics in Computer Science.
_931857
700 1 _aFränzle, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161179
700 1 _aKapur, Deepak.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161180
700 1 _aZhan, Naijun.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9161181
710 2 _aSpringerLink (Online service)
_9161182
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319476766
776 0 8 _iPrinted edition:
_z9783319476780
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v9984
_9161183
856 4 0 _uhttps://doi.org/10.1007/978-3-319-47677-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c95755
_d95755