Save today: Get 40% off Popular Science print books or $30 off eBooks in Mathematics & Statistics!

Computer Science Software Engineering
Programming and Software Engineering
Free Preview cover
© 2009

Reliable Software Technologies - Ada-Europe 2009

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

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

Free Preview

Buy this book

eBook 59,49 €
price for Spain (gross)
Buy eBook
  • 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)
Buy Softcover
  • 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

FAQ Policy
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.

Show all

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 €
Show next xx
Read this book on SpringerLink

Buy this book

eBook 59,49 €
price for Spain (gross)
Buy eBook
  • 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)
Buy Softcover
  • 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

FAQ Policy
Loading...

Services for this Book

Facebook Twitter LinkedIn Google++

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