↓ Skip to main content
What is this page? Embed badge

Reliable Software Technologies - Ada-Europe 2011

Overview of attention for book
Cover of 'Reliable Software Technologies - Ada-Europe 2011'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Assuring Software Reliability While Using Web Services and Commercial Products
  3. Altmetric Badge
    Chapter 2 Detecting High-Level Synchronization Errors in Parallel Programs
  4. Altmetric Badge
    Chapter 3 Design and Implementation of a Ravenscar Extension for Multiprocessors
  5. Altmetric Badge
    Chapter 4 A Real-Time Framework for Multiprocessor Platforms Using Ada 2012
  6. Altmetric Badge
    Chapter 5 The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code
  7. Altmetric Badge
    Chapter 6 Adapting ACATS to the Ahven Testing Framework
  8. Altmetric Badge
    Chapter 7 Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE
  9. Altmetric Badge
    Chapter 8 Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL
  10. Altmetric Badge
    Chapter 9 A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems
  11. Altmetric Badge
    Chapter 10 Architecting a Common Bridge Abstraction over Different Middleware Paradigms
  12. Altmetric Badge
    Chapter 11 Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot
  13. Altmetric Badge
    Chapter 12 ORK+/XtratuM: An Open Partitioning Platform for Ada
  14. Altmetric Badge
    Chapter 13 Implementing Mixed Criticality Systems in Ada
  15. Altmetric Badge
    Chapter 14 Programming Languages Meet Multicore
  16. Altmetric Badge
    Chapter 15 Programming Languages for Real-Time Applications Executing on Parallel Hardware
  17. Altmetric Badge
    Chapter 16 Multicore Programming in ParaSail
  18. Altmetric Badge
    Chapter 17 Why Parallel Functional Programming Matters: Panel Statement
  19. Altmetric Badge
    Chapter 18 OOT, DO-178C and SPARK
  20. Altmetric Badge
    Chapter 19 Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems
  21. Altmetric Badge
    Chapter 20 Object Orientation in Critical Systems: Yes, in Moderation
  22. Altmetric Badge
    Chapter 21 On the Evolution of Unnatural Language
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
9 Mendeley
Summary Wikipedia Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Reliable Software Technologies - Ada-Europe 2011
Published by
Springer Berlin Heidelberg, June 2011
DOI 10.1007/978-3-642-21338-0
ISBNs
978-3-64-221337-3, 978-3-64-221338-0
Editors

Romanovsky, Alexander, Vardanega, Tullio, Romanovsky, Alexander, Vardanega, Tullio

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Spain 2 22%
Unknown 7 78%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 44%
Researcher 2 22%
Professor 1 11%
Student > Bachelor 1 11%
Professor > Associate Professor 1 11%
Other 0 0%
Readers by discipline Count As %
Computer Science 7 78%
Engineering 2 22%

This page is provided by Altmetric.