Programming and Software Engineering

Reliable Software Technologies - Ada-Europe 2009

14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings

Editors: Kordon, Fabrice, Kermarrec, Yvon (Eds.)

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-01924-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-01923-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.

The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Table of contents (19 chapters)

  • Requirements on the Target Programming Language for High-Integrity MDE

    Zovi, Alessandro (et al.)

    Pages 1-15

    Preview Buy Chapter 30,19 €
  • A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

    Urueña, Santiago (et al.)

    Pages 16-29

    Preview Buy Chapter 30,19 €
  • Validating Safety and Security Requirements for Partitioned Architectures

    Delange, Julien (et al.)

    Pages 30-43

    Preview Buy Chapter 30,19 €
  • On Comparing Testing Criteria for Logical Decisions

    Lau, Man Fai (et al.)

    Pages 44-58

    Preview Buy Chapter 30,19 €
  • Model Checking Techniques for Test Generation from Business Process Models

    Buchs, Didier (et al.)

    Pages 59-74

    Preview Buy Chapter 30,19 €

Buy this book

eBook 59,49 €
price for Spain (gross)
  • ISBN 978-3-642-01924-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-642-01923-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Reliable Software Technologies - Ada-Europe 2009
Book Subtitle
14th Ada-Europe International Conference, Brest, France, June 8-12, 2009, Proceedings
Editors
  • Fabrice Kordon
  • Yvon Kermarrec
Series Title
Programming and Software Engineering
Series Volume
5570
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-01924-1
DOI
10.1007/978-3-642-01924-1
Softcover ISBN
978-3-642-01923-4
Edition Number
1
Number of Pages
XIV, 283
Topics