Reliable Software Technologies -- Ada-Europe 2012
17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
Editors: Brorsson, Mats, Pinho, Luís Miguel (Eds.)
Free Preview- State-of-the-art research
- Fast-track conference proceedings
- Unique visibility
Buy this book
- About this book
-
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed and selected from 34 submissions. They are organized in topical sections on application frameworks, use of ada, modeling, testing and validation,and real-time systems.
- Table of contents (15 chapters)
-
-
Ada Ravenscar Code Archetypes for Component-Based Development
Pages 1-17
-
An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Pages 18-34
-
Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
Pages 35-48
-
Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
Pages 49-59
-
Teaching ‘Concepts of Programming Languages’ with Ada
Pages 60-74
-
Table of contents (15 chapters)
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Reliable Software Technologies -- Ada-Europe 2012
- Book Subtitle
- 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012, Proceedings
- Editors
-
- Mats Brorsson
- Luís Miguel Pinho
- Series Title
- Programming and Software Engineering
- Series Volume
- 7308
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-30598-6
- DOI
- 10.1007/978-3-642-30598-6
- Softcover ISBN
- 978-3-642-30597-9
- Edition Number
- 1
- Number of Pages
- XII, 220
- Number of Illustrations
- 59 b/w illustrations
- Topics
