Editors:
- 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)
Conference series link(s): SETTA: International Symposium on Dependable Software Engineering: Theories, Tools, and Applications
Conference proceedings info: SETTA 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (21 papers)
-
Front Matter
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.
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
Editors and Affiliations
-
Carl von Ossietzky Universität, Oldenburg, Germany
Martin Fränzle
-
University of New Mexico, Albuquerque, USA
Deepak Kapur
-
Chinese Academy of Sciences, Beijing, China
Naijun Zhan
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