Dependable Software Engineering. Theories, Tools, and Applications - 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, 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.

List of contents

Refinement.- Verification.- Timing and Scheduling.

Summary

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, 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.

Product details

• Assisted by: Xinyu Feng (Editor), Marku Müller-Olm (Editor), Markus Müller-Olm (Editor), Zijiang Yang (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 30.11.2018
• EAN: 9783319999326
• ISBN: 978-3-31-999932-6
• No. of pages: 201
• Dimensions: 156 mm x 235 mm x 15 mm
• Weight: 336 g
• Illustrations: XIV, 201 p. 55 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, Theoretische Informatik, Systemanalyse und -design, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Computer programming / software engineering, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer system failures, System Performance and Evaluation, Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters