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
-
Nanjing University, Nanjing, China
Xinyu Feng
-
Westfälische Wilhelms-Universität Münster, Münster, Germany
Markus Müller-Olm
-
Western Michigan University, Kalamazoo, USA
Zijiang Yang
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