Springer celebrates 175 years of publishing excellence! Join us >>

Programming and Software Engineering

Reliable Software Technologies – Ada-Europe 2016

21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings

Editors: Bertogna, Marko, Pinho, Luis Miguel, Quiñones, Eduardo (Eds.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-39083-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-39082-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (13 chapters)

  • Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems

    Burns, Alan

    Pages 3-11

  • Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model

    Mohaqeqi, Morteza (et al.)

    Pages 15-29

  • Eliminating Data Race Warnings Using CSP

    Wittiger, Martin

    Pages 30-43

  • Real-Time Stream Processing in Java

    Mei, HaiTao (et al.)

    Pages 44-57

  • Addressing the Regression Test Problem with Change Impact Analysis for Ada

    Jones, Andrew V.

    Pages 61-77

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-39083-3
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-39082-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Programming and Software Engineering
Series Volume
9695
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-39083-3
DOI
10.1007/978-3-319-39083-3
Softcover ISBN
978-3-319-39082-6
Edition Number
1
Number of Pages
XIV, 213
Number of Illustrations and Tables
59 b/w illustrations
Topics