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 PreviewBuy this book
- 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
Pages 1-15
-
A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
Pages 16-29
-
Validating Safety and Security Requirements for Partitioned Architectures
Pages 30-43
-
On Comparing Testing Criteria for Logical Decisions
Pages 44-58
-
Model Checking Techniques for Test Generation from Business Process Models
Pages 59-74
-
Table of contents (19 chapters)
Recommended for you
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
*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works and instructor copies are not included.
