Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings [1 ed.] 3540588221, 9783540588221
This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in
199 62 7MB
English Pages 528 [533] Year 1994
Table of contents :
Opening address: Ada 9X....Pages 1-10
Run-time check elimination for Ada 9X....Pages 11-23
Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model....Pages 24-32
Merging Ada 9X and C++ in a graphics system software architecture....Pages 33-42
The AECSS fault tolerant distributed Ada testbed and application....Pages 43-59
A front-end to HOOD....Pages 60-62
Tool support for high integrity Ada software....Pages 63-75
Testing Ada abstract data types using formal specifications....Pages 76-89
Formal methods for a space software development environment....Pages 90-103
Object orientation is not always best!....Pages 104-110
Beyond abstract data types: Giving life to objects....Pages 111-120
Test methods and tools for SOHO Mass Memory Unit software....Pages 121-129
Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments....Pages 130-146
A new approach for HOOD/Ada mapping....Pages 147-154
Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods....Pages 155-161
How should military Ada software be documented?....Pages 162-169
Evolving an Ada curriculum to 9X....Pages 170-174
Recommendations and proposals for an Ada strategy in the Space Software Development Environment....Pages 175-203
Life ADA: An APSE integrating multiple compilers....Pages 204-214
Extended application of Ada to cover ECBS with O4S....Pages 215-230
Development of a lightweight object-based software process model under pragmatic constraints....Pages 231-257
ESSPASE: European Space Software Product Assurance Support Environment....Pages 258-269
Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter....Pages 270-281
A knowledge-based System for diagnosis in Veterinary Medicine....Pages 282-287
Event diagnosis and recovery in real-time on-board autonomous mission control....Pages 288-301
Safety aspects of the Ariane 5 on-board software....Pages 302-321
Ada controls the European robotic arm....Pages 322-332
Automatic generation of ada source code for the Rafale Mission computer....Pages 333-348
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....Pages 349-354
A fully reusable class of objects for synchronization and communication in Ada 9X....Pages 355-386
Interfacing computer communications from ada in a diverse and evolving environment....Pages 387-396
Cost-benefit analysis for software-reuse — A decision procedure....Pages 397-405
Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems....Pages 406-420
Distribution of tasks within a centrally scheduled local area network....Pages 421-432
Handling interrupts in Ada 9X....Pages 433-439
Tuning Ada programs in advance....Pages 440-464
CEDEX A tool for the selection of a development and execution environment for real time on-bord applications....Pages 465-482
Portability effort estimates for real time applications written in Ada through static code analysis....Pages 483-488
FAA certification of Ada Run-Time Systems....Pages 489-498
Panel on safety and reliability held on September 28, 1994....Pages 499-508
Experiences integrating object-oriented analysis with Joint Application Development (JAD)....Pages 509-521
Opening address: Ada 9X....Pages 1-10
Run-time check elimination for Ada 9X....Pages 11-23
Adequacy of the new generation of multithreading operating systems to the Ada Tasking Model....Pages 24-32
Merging Ada 9X and C++ in a graphics system software architecture....Pages 33-42
The AECSS fault tolerant distributed Ada testbed and application....Pages 43-59
A front-end to HOOD....Pages 60-62
Tool support for high integrity Ada software....Pages 63-75
Testing Ada abstract data types using formal specifications....Pages 76-89
Formal methods for a space software development environment....Pages 90-103
Object orientation is not always best!....Pages 104-110
Beyond abstract data types: Giving life to objects....Pages 111-120
Test methods and tools for SOHO Mass Memory Unit software....Pages 121-129
Integrating modular, Object Oriented Programming, and application generator technologies in large real time and distributed developments....Pages 130-146
A new approach for HOOD/Ada mapping....Pages 147-154
Shlaer/Mellor or Rumbaugh? A discussion of two popular Object-Oriented Methods....Pages 155-161
How should military Ada software be documented?....Pages 162-169
Evolving an Ada curriculum to 9X....Pages 170-174
Recommendations and proposals for an Ada strategy in the Space Software Development Environment....Pages 175-203
Life ADA: An APSE integrating multiple compilers....Pages 204-214
Extended application of Ada to cover ECBS with O4S....Pages 215-230
Development of a lightweight object-based software process model under pragmatic constraints....Pages 231-257
ESSPASE: European Space Software Product Assurance Support Environment....Pages 258-269
Test philosophy and validation stategy of on-board real time software in envisat-1 satellite radar-altimeter....Pages 270-281
A knowledge-based System for diagnosis in Veterinary Medicine....Pages 282-287
Event diagnosis and recovery in real-time on-board autonomous mission control....Pages 288-301
Safety aspects of the Ariane 5 on-board software....Pages 302-321
Ada controls the European robotic arm....Pages 322-332
Automatic generation of ada source code for the Rafale Mission computer....Pages 333-348
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....Pages 349-354
A fully reusable class of objects for synchronization and communication in Ada 9X....Pages 355-386
Interfacing computer communications from ada in a diverse and evolving environment....Pages 387-396
Cost-benefit analysis for software-reuse — A decision procedure....Pages 397-405
Ex2: Integrating Ada and extra support in a doubly portable extended executive designed for hard real time systems....Pages 406-420
Distribution of tasks within a centrally scheduled local area network....Pages 421-432
Handling interrupts in Ada 9X....Pages 433-439
Tuning Ada programs in advance....Pages 440-464
CEDEX A tool for the selection of a development and execution environment for real time on-bord applications....Pages 465-482
Portability effort estimates for real time applications written in Ada through static code analysis....Pages 483-488
FAA certification of Ada Run-Time Systems....Pages 489-498
Panel on safety and reliability held on September 28, 1994....Pages 499-508
Experiences integrating object-oriented analysis with Joint Application Development (JAD)....Pages 509-521
![Ada in Europe: First International Eurospace-Ada-Europe Symposium Copenhagen, Denmark, September 26–30, 1994 Proceedings [1 ed.]
3540588221, 9783540588221](https://ebin.pub/img/200x200/ada-in-europe-first-international-eurospace-ada-europe-symposium-copenhagen-denmark-september-2630-1994-proceedings-1nbsped-3540588221-9783540588221.jpg)
- Author / Uploaded
- Chris Anderson (auth.)
- Marcel Toussaint (eds.)
- Similar Topics
- Education
- International Conferences and Symposiums
![Ada in Europe: Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings [1 ed.]
3540607579, 9783540607571](https://ebin.pub/img/200x200/ada-in-europe-second-international-eurospace-ada-europe-symposium-frankfurt-main-germany-october-26-1995-proceedings-1nbsped-3540607579-9783540607571.jpg)
![Ada - Europe '93: 12th Ada-Europe International Conference, “Ada Sans Frontières” Paris, France, June 14–18, 1993 Proceedings [1 ed.]
3540568026, 9783540568025](https://ebin.pub/img/200x200/ada-europe-93-12th-ada-europe-international-conference-ada-sans-frontieres-paris-france-june-1418-1993-proceedings-1nbsped-3540568026-9783540568025.jpg)
![Symposium on Lexicography VII: Proceedings of the Seventh International Symposium on Lexicography May 5–6, 1994 at the University of Copenhagen [Reprint 2017 ed.]
9783110937916, 9783484309760](https://ebin.pub/img/200x200/symposium-on-lexicography-vii-proceedings-of-the-seventh-international-symposium-on-lexicography-may-56-1994-at-the-university-of-copenhagen-reprint-2017nbsped-9783110937916-9783484309760.jpg)
![ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings [1 ed.]
3540525920, 9783540525929](https://ebin.pub/img/200x200/esop-90-3rd-european-symposium-on-programming-copenhagen-denmark-may-1518-1990-proceedings-1nbsped-3540525920-9783540525929.jpg)
