Programming and Software Engineering

Reliable Software Technologies – Ada-Europe 2014

19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings

Editors: George, Laurent, Vardanega, Tullio (Eds.)

Buy this book

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

This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.

About the authors

Complex networks and data stream mining.- Data mining methods.- Intelligent systems applications.- Knowledge representation in databases and systems.- Textual data analysis and mining.- Special session: challenges in text mining and semantic information retrieval.- Special session: warehousing and OLAPing complex, spatial and spatio-temporal data.- ISMIS posters.

Table of contents (14 chapters)

  • Lessons Learned and Easily Forgotten

    Lainé, Robert

    Pages 1-6

  • Future Challenges in Design Frameworks for Embedded Systems: Application to Intelligent Transportation Systems

    Shawky, Mohamed

    Pages 7-10

  • Rigorous Development of Fault-Tolerant Systems through Co-refinement

    Lopatkin, Ilya (et al.)

    Pages 11-26

  • Kronecker Algebra for Static Analysis of Ada Programs with Protected Objects

    Burgstaller, Bernd (et al.)

    Pages 27-42

  • A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems

    Zhou, Jiale (et al.)

    Pages 43-57

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-319-08311-7
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-319-08310-0
  • 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 2014
Book Subtitle
19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
Editors
  • Laurent George
  • Tullio Vardanega
Series Title
Programming and Software Engineering
Series Volume
8454
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-08311-7
DOI
10.1007/978-3-319-08311-7
Softcover ISBN
978-3-319-08310-0
Edition Number
1
Number of Pages
XIV, 193
Number of Illustrations and Tables
56 b/w illustrations
Topics