Reliable Software Technologies - Ada-Europe 2008
13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
Editors: Kordon, Fabrice, Vardanega, Tullio (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008.
The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.
- Table of contents (20 chapters)
-
-
A New Approach to Memory Partitioning in On-Board Spacecraft Software
Pages 1-14
-
Design and Development of Component-Based Embedded Systems for Automotive Applications
Pages 15-29
-
On the Timed Automata-Based Verification of Ravenscar Systems
Pages 30-43
-
Operational Semantics of Ada Ravenscar
Pages 44-58
-
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives
Pages 59-72
-
Table of contents (20 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Reliable Software Technologies - Ada-Europe 2008
- Book Subtitle
- 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings
- Editors
-
- Fabrice Kordon
- Tullio Vardanega
- Series Title
- Programming and Software Engineering
- Series Volume
- 5026
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-68624-8
- DOI
- 10.1007/978-3-540-68624-8
- Softcover ISBN
- 978-3-540-68621-7
- 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 are not included.
