↓ Skip to main content

Ada in Europe

Overview of attention for book
Cover of 'Ada in Europe'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 83 Opening address: Ada 9X
  3. Altmetric Badge
    Chapter 84 Run-time check elimination for Ada 9X
  4. Altmetric Badge
    Chapter 85 Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model
  5. Altmetric Badge
    Chapter 86 Merging Ada 9X and C++ in a graphics system software architecture
  6. Altmetric Badge
    Chapter 87 The AECSS fault tolerant distributed Ada testbed and application
  7. Altmetric Badge
    Chapter 88 A front-end to HOOD
  8. Altmetric Badge
    Chapter 89 Tool support for high integrity Ada software
  9. Altmetric Badge
    Chapter 90 Testing Ada abstract data types using formal specifications
  10. Altmetric Badge
    Chapter 91 Formal methods for a space software development environment
  11. Altmetric Badge
    Chapter 92 Object orientation is not always best!
  12. Altmetric Badge
    Chapter 93 Beyond abstract data types: Giving life to objects
  13. Altmetric Badge
    Chapter 94 Test methods and tools for SOHO Mass Memory Unit software
  14. Altmetric Badge
    Chapter 95 Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments
  15. Altmetric Badge
    Chapter 96 A new approach for HOOD/Ada mapping
  16. Altmetric Badge
    Chapter 97 Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods
  17. Altmetric Badge
    Chapter 98 How should military Ada software be documented?
  18. Altmetric Badge
    Chapter 99 Evolving an Ada curriculum to 9X
  19. Altmetric Badge
    Chapter 100 Recommendations and proposals for an Ada strategy in the Space Software Development Environment
  20. Altmetric Badge
    Chapter 101 Life ADA: An APSE integrating multiple compilers
  21. Altmetric Badge
    Chapter 102 Extended application of Ada to cover ECBS with O4S
  22. Altmetric Badge
    Chapter 103 Development of a lightweight object-based software process model under pragmatic constraints
  23. Altmetric Badge
    Chapter 104 ESSPASE: European Space Software Product Assurance Support Environment
  24. Altmetric Badge
    Chapter 105 Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter
  25. Altmetric Badge
    Chapter 106 A knowledge-based System for diagnosis in Veterinary Medicine
  26. Altmetric Badge
    Chapter 107 Event diagnosis and recovery in real-time on-board autonomous mission control
  27. Altmetric Badge
    Chapter 108 Safety aspects of the Ariane 5 on-board software
  28. Altmetric Badge
    Chapter 109 Ada controls the European robotic arm
  29. Altmetric Badge
    Chapter 110 Automatic generation of ada source code for the Rafale Mission computer
  30. Altmetric Badge
    Chapter 111 The Real-time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions
  31. Altmetric Badge
    Chapter 112 A fully reusable class of objects for synchronization and communication in Ada 9X
  32. Altmetric Badge
    Chapter 113 Interfacing computer communications from ada in a diverse and evolving environment
  33. Altmetric Badge
    Chapter 114 Cost-benefit analysis for software-reuse — A decision procedure
  34. Altmetric Badge
    Chapter 115 Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems
  35. Altmetric Badge
    Chapter 116 Distribution of tasks within a centrally scheduled local area network
  36. Altmetric Badge
    Chapter 117 Handling interrupts in Ada 9X
  37. Altmetric Badge
    Chapter 118 Tuning Ada programs in advance
  38. Altmetric Badge
    Chapter 119 CEDEX A tool for the selection of a development and execution environment for real time on-bord applications
  39. Altmetric Badge
    Chapter 120 Portability effort estimates for real time applications written in Ada through static code analysis
  40. Altmetric Badge
    Chapter 121 FAA certification of Ada Run-Time Systems
  41. Altmetric Badge
    Chapter 122 Panel on safety and reliability held on September 28, 1994
  42. Altmetric Badge
    Chapter 123 Experiences integrating object-oriented analysis with Joint Application Development (JAD)
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
1 Mendeley
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
Ada in Europe
Published by
Springer Science & Business Media, December 1994
DOI 10.1007/3-540-58822-1
ISBNs
978-3-54-058822-1, 978-3-54-049110-1
Editors

Toussaint, Marcel

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.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 100%
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Business, Management and Accounting 1 100%
Computer Science 1 100%