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.)

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

Buy this book

eBook 42,79 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-642-30597-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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)

Table of contents (15 chapters)
  • Ada Ravenscar Code Archetypes for Component-Based Development

    Pages 1-17

    Panunzio, Marco (et al.)

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

    Pages 18-34

    Sáez, Sergio (et al.)

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

    Pages 35-48

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

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

    Pages 49-59

    Ruiz, José F. (et al.)

  • Teaching ‘Concepts of Programming Languages’ with Ada

    Pages 60-74

    Tempelmeier, Theodor

Buy this book

eBook 42,79 €
price for Spain (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 51,99 €
price for Spain (gross)
  • ISBN 978-3-642-30597-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • This title is currently reprinting. You can pre-order your copy now.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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
59 b/w illustrations
Topics