Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10998)
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 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Abstracts of Invited Talks
-
Software Assurance
Other volumes
-
Dependable Software Engineering. Theories, Tools, and Applications
Keywords
- formal methods
- dependable software
- software engineering
- complex systems
- software modeling
- specification
- verification
- semantics
- model checking
- theorem proving
- formal logic
- programming languages
- software evaluation
- embedded Systems
- real time systems
- verification
- data security
- algorithm analysis and problem complexity
About this book
Tools, and Applications, SETTA 2018, held in Beijing, China, in September 2018.
The 9 full papers presented together with 3 short papers were carefully reviewed and selected from 22 submissions.
The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems.
Editors and Affiliations
Bibliographic Information
Book Title: Dependable Software Engineering. Theories, Tools, and Applications
Book Subtitle: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings
Editors: Xinyu Feng, Markus Müller-Olm, Zijiang Yang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99933-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99932-6Published: 26 August 2018
eBook ISBN: 978-3-319-99933-3Published: 25 August 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 201
Number of Illustrations: 55 b/w illustrations
Topics: Software Engineering, Programming Languages, Compilers, Interpreters, System Performance and Evaluation, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs