175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

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 $69.99
price for USA (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 $99.00
price for USA
  • ISBN 978-3-642-01923-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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

  • A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

    Urueña, Santiago (et al.)

    Pages 16-29

  • Validating Safety and Security Requirements for Partitioned Architectures

    Delange, Julien (et al.)

    Pages 30-43

  • On Comparing Testing Criteria for Logical Decisions

    Lau, Man Fai (et al.)

    Pages 44-58

  • Model Checking Techniques for Test Generation from Business Process Models

    Buchs, Didier (et al.)

    Pages 59-74

Buy this book

eBook $69.99
price for USA (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 $99.00
price for USA
  • ISBN 978-3-642-01923-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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