Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9695)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: Ada-Europe 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 papers)
-
Invited Paper
-
Concurrency and Parallelism
Other volumes
-
Reliable Software Technologies – Ada-Europe 2016
Keywords
- distributed systems
- fault-tolerance
- formal methods
- model checking
- parallel programming
- correctness
- cyber physical systems
- embedded systems
- model-based development
- modeling
- multicore processor architectures
- programming languages
- real-time scheduling
- real-time systems
- reliability
- robustness
- safety-critical software
- software verification
- static analysis
- testing
About this book
This book constitutes the refereed proceedings of the 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016, held in Pisa, Italy, in June 2016.
The revised 12 full papers presented together with one invited paper were carefully reviewed and selected from 28 submissions. They are organized in topical sections on concurrency and parallelism, testing and verification, program correctness and robustness, and real-time systems.
Editors and Affiliations
Bibliographic Information
Book Title: Reliable Software Technologies – Ada-Europe 2016
Book Subtitle: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
Editors: Marko Bertogna, Luis Miguel Pinho, Eduardo Quiñones
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-39083-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-39082-6Published: 31 May 2016
eBook ISBN: 978-3-319-39083-3Published: 30 May 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 213
Number of Illustrations: 59 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Software Engineering, Special Purpose and Application-Based Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages