↓ Skip to main content

Reliable Software Technologies - Ada-Europe 2004

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Benefits and Problems of Formal Methods
  3. Altmetric Badge
    Chapter 2 On the Role of Conceptual Schemas in Information Systems Development
  4. Altmetric Badge
    Chapter 3 An Overview of Middleware
  5. Altmetric Badge
    Chapter 4 Static Deadlock Detection in the Linux Kernel
  6. Altmetric Badge
    Chapter 5 Extracting Ada 95 Objects from Legacy Ada Programs
  7. Altmetric Badge
    Chapter 6 On the Tree Width of Ada Programs
  8. Altmetric Badge
    Chapter 7 The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
  9. Altmetric Badge
    Chapter 8 PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
  10. Altmetric Badge
    Chapter 9 Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
  11. Altmetric Badge
    Chapter 10 Implementing Execution-Time Clocks for the Ada Ravenscar Profile
  12. Altmetric Badge
    Chapter 11 Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
  13. Altmetric Badge
    Chapter 12 Supporting Deadlines and EDF Scheduling in Ada
  14. Altmetric Badge
    Chapter 13 OpenAda: Compile-Time Reflection for Ada 95
  15. Altmetric Badge
    Chapter 14 XML4Ada95 Accessing XML Using the DOM in Ada95
  16. Altmetric Badge
    Chapter 15 A Randomised Test Approach to Testing Safety Critical Ada Code
  17. Altmetric Badge
    Chapter 16 Good Random Testing
  18. Altmetric Badge
    Chapter 17 Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
  19. Altmetric Badge
    Chapter 18 High Integrity Ada in a UML and C World
  20. Altmetric Badge
    Chapter 19 Ada Meets Giotto
  21. Altmetric Badge
    Chapter 20 High-Integrity Interfacing to Programmable Logic with Ada
  22. Altmetric Badge
    Chapter 21 Dynamic Ceiling Priorities: A Proposal for Ada0Y
  23. Altmetric Badge
    Chapter 22 Mixing Scheduling Policies in Ada
  24. Altmetric Badge
    Chapter 23 Implementing an Application-Defined Scheduling Framework for Ada Tasking
  25. Altmetric Badge
    Chapter 24 A Theory of Persistent Containers and Its Application to Ada
  26. Altmetric Badge
    Chapter 25 Shortcuts: A Critical Look
  27. Altmetric Badge
    Chapter 26 Vector Processing in Ada
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
patent
3 patents
wikipedia
4 Wikipedia pages
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 2004
Published by
Springer Berlin Heidelberg, April 2004
DOI 10.1007/b97913
ISBNs
978-3-54-022011-4, 978-3-54-024841-5
Editors

Llamosí, Albert, Strohmeier, Alfred

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.