Programming and Software Engineering

Reliable Software Technologies -- Ada-Europe 2012

17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings

Editors: Brorsson, Mats, Pinho, Luís Miguel (Eds.)

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

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-30598-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-30597-9
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this book

This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.

Table of contents (15 chapters)

  • Ada Ravenscar Code Archetypes for Component-Based Development

    Panunzio, Marco (et al.)

    Pages 1-17

  • An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

    Sáez, Sergio (et al.)

    Pages 18-34

  • Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA

    García-Valls, Marisol (et al.)

    Pages 35-48

  • Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012

    Ruiz, José F. (et al.)

    Pages 49-59

  • Teaching ‘Concepts of Programming Languages’ with Ada

    Tempelmeier, Theodor

    Pages 60-74

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-30598-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA
  • ISBN 978-3-642-30597-9
  • 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 2012
Book Subtitle
17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Editors
  • Mats Brorsson
  • Luís Miguel Pinho
Series Title
Programming and Software Engineering
Series Volume
7308
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-30598-6
DOI
10.1007/978-3-642-30598-6
Softcover ISBN
978-3-642-30597-9
Edition Number
1
Number of Pages
XII, 220
Number of Illustrations and Tables
59 b/w illustrations
Topics