Ada in Europe : First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 30, 1994 : proceedings
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe. The 42 papers accepted for presentation address general Ada-relat...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
887 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada in Europe, First International Eurospace-Ada Europe Symposium, Copenhagen, Denmark, September 26-30, 1994, proceedings, Marcel Toussaint, ed, Berlin, Springer-Verlag, 1994, 1 vol. (XII-521 p.), Lecture notes in computer science, 3-540-58822-1 • Ada in Europe, Texte imprimé, 9783662186732 |
İçindekiler:
- Opening address: Ada 9X
- Run-time check elimination for Ada 9X
- Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model
- Merging Ada 9X and C++ in a graphics system software architecture
- The AECSS fault tolerant distributed Ada testbed and application
- A front-end to HOOD
- Tool support for high integrity Ada software
- Testing Ada abstract data types using formal specifications
- Formal methods for a space software development environment
- Object orientation is not always best!
- Beyond abstract data types: Giving life to objects
- Test methods and tools for SOHO Mass Memory Unit software
- Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments
- A new approach for HOOD/Ada mapping
- Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods
- How should military Ada software be documented?
- Evolving an Ada curriculum to 9X
- Recommendations and proposals for an Ada strategy in the Space Software Development Environment
- Life ADA: An APSE integrating multiple compilers
- Extended application of Ada to cover ECBS with O4S
- Development of a lightweight object-based software process model under pragmatic constraints
- ESSPASE: European Space Software Product Assurance Support Environment
- Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter
- A knowledge-based System for diagnosis in Veterinary Medicine
- Event diagnosis and recovery in real-time on-board autonomous mission control
- Safety aspects of the Ariane 5 on-board software
- Ada controls the European robotic arm
- Automatic generation of ada source code for the Rafale Mission computer
- The Real-time RapporteurGroup (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35 or How to avoid and control proliferation of new Ada Real time extensions
- A fully reusable class of objects for synchronization and communication in Ada 9X
- Interfacing computer communications from ada in a diverse and evolving environment
- Cost-benefit analysis for software-reuse A decision procedure
- Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems
- Distribution of tasks within a centrally scheduled local area network
- Handling interrupts in Ada 9X
- Tuning Ada programs in advance
- CEDEX A tool for the selection of a development and execution environment for real time on-bord applications
- Portability effort estimates for real time applications written in Ada through static code analysis
- FAA certification of Ada Run-Time Systems
- Panel on safety and reliability held on September 28, 1994
- Experiences integrating object-oriented analysis with Joint Application Development (JAD).