Our Cyber Weeks Sale has begun: Stock up on $7 Computer Science eBooks today!

Programming and Software Engineering

Dependable Software Engineering: Theories, Tools, and Applications

Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

Editors: Fränzle, Martin, Kapur, Deepak, Zhan, Naijun (Eds.)

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-47677-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-47676-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This 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. 

Table of contents (21 chapters)

  • Place Bisimulation and Liveness for Open Petri Nets

    Dong, Xiaoju (et al.)

    Pages 1-17

  • Divergence Detection for CCSL Specification via Clock Causality Chain

    Xu, Qingguo (et al.)

    Pages 18-37

  • Performance Evaluation of Concurrent Data Structures

    Wu, Hao (et al.)

    Pages 38-49

  • GPU-Accelerated Steady-State Computation of Large Probabilistic Boolean Networks

    Mizera, Andrzej (et al.)

    Pages 50-66

  • Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

    Du, Wenjie (et al.)

    Pages 67-84

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-319-47677-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA in USD
  • ISBN 978-3-319-47676-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Dependable Software Engineering: Theories, Tools, and Applications
Book Subtitle
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
Editors
  • Martin Fränzle
  • Deepak Kapur
  • Naijun Zhan
Series Title
Programming and Software Engineering
Series Volume
9984
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-47677-3
DOI
10.1007/978-3-319-47677-3
Softcover ISBN
978-3-319-47676-6
Edition Number
1
Number of Pages
XVIII, 323
Number of Illustrations
78 b/w illustrations
Topics