Save 50% on Print Books, eBooks & Journals in Medicine! Browse now >>

Programming and Software Engineering

Reliable Software Technologies – Ada-Europe 2011

16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

Editors: Romanovsky, Alexander, Vardanega, Tullio (Eds.)

  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art survey
see more benefits

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-21338-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-21337-3
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

Table of contents (21 chapters)

  • Assuring Software Reliability While Using Web Services and Commercial Products

    O’Leary, Jeffrey

    Pages 1-16

  • Detecting High-Level Synchronization Errors in Parallel Programs

    Raza, Syed Aoun (et al.)

    Pages 17-30

  • Design and Implementation of a Ravenscar Extension for Multiprocessors

    Chouteau, Fabien (et al.)

    Pages 31-45

  • A Real-Time Framework for Multiprocessor Platforms Using Ada 2012

    Sáez, Sergio (et al.)

    Pages 46-60

  • The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code

    Coq, Thierry (et al.)

    Pages 61-74

Buy this book

eBook $69.99
price for USA
  • ISBN 978-3-642-21338-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-21337-3
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies – Ada-Europe 2011
Book Subtitle
16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
Editors
  • Alexander Romanovsky
  • Tullio Vardanega
Series Title
Programming and Software Engineering
Series Volume
6652
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-21338-0
DOI
10.1007/978-3-642-21338-0
Softcover ISBN
978-3-642-21337-3
Edition Number
1
Number of Pages
XIII, 227
Number of Illustrations and Tables
27 b/w illustrations, 28 illustrations in colour
Topics