Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9984)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
- SETTA: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
Conference proceedings info: SETTA 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (21 papers)
Other volumes
-
Dependable Software Engineering: Theories, Tools, and Applications
Keywords
- bisimulation
- higher-order logic
- model checking
- quantum programming
- software model checking
- algorithms
- fault tree
- integration of states
- markov chain
- numerical methods
- open petri net
- probability
- satisfiability
- software engineering
- specification
- state explosion
- temporal logic
- theorem proving
- timed automata
- verification
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.
Editors and Affiliations
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: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-47677-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2016
Softcover ISBN: 978-3-319-47676-6Published: 06 October 2016
eBook ISBN: 978-3-319-47677-3Published: 19 October 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 323
Number of Illustrations: 78 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Simulation and Modeling, Probability and Statistics in Computer Science