Dependable Software Engineering. Theories, Tools, and Applications

Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings

Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (Herausgeber)

Buch | Softcover

XVIII, 351 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-69482-5 (ISBN)

Artikel merken

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

Probabilistic and Statistical Analysis.- Timed and Hybrid Systems.- Program Analysis.- Modeling and Verification.- Formalization.- Tools.

Erscheinungsdatum	19.10.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XVIII, 351 p. 74 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	562 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Cyber-Physical Systems • formal languages and automata theory • formal methods • Formal Tools and Applications • Modeling and Verification • Probabilistic and statistical analysis • program analysis • Software engineering • timed and hybrid models
ISBN-10	3-319-69482-0 / 3319694820
ISBN-13	978-3-319-69482-5 / 9783319694825
Zustand	Neuware