Editors:
- 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)
Conference series link(s): Ada-Europe: Ada-Europe International Conference on Reliable Software Technologies
Conference proceedings info: Ada-Europe 2016.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (13 papers)
-
Front Matter
-
Invited Paper
-
Front Matter
-
-
Concurrency and Parallelism
-
Front Matter
-
-
Back Matter
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.
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
Editors and Affiliations
-
Università di Modena e Reggio Emilia, Modena, Italy
Marko Bertogna
-
CISTER Research Centre, Porto, Portugal
Luis Miguel Pinho
-
Barcelona Supercomputing Center, Barcelona, Spain
Eduardo Quiñones
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