Michel Gauthier (ed.)

Ada-Europe '93

12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings
Mitarbeit:Gauthier, Michel

• Broschiertes Buch

Produktbeschreibung

This volume contains the proceedings of the twelfthAda-Europe conference, held in France in 1993. The Frenchname "Ada sans fronti res" (the only French words in thebook) symbolizes the unlimitedness and novelty of Ada, aswell as Europe-wide interest.Many papers relate to Ada-9X, the new standard that the Adacoimmunity is close to achieving after worldwideconsultation and debate about requirements, specification,anddetailed definition. Their focus is on management,real-time, and compiler validation.Part of the conference was on object orientation, togetherwith various issues relating to the general structure of thelanguage, including exceptions to a certain use ofgenericity and heterogeneous data, efficiency, formalrequirements and CASEs, and comparison with a competitorlanguage.A third part relates to real-time, past with performancemeasurement, present with certification andapplications,and future with the ExTRA project and 9X.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 688
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-56802-5
• 1993.
• Seitenzahl: 372
• Erscheinungstermin: 7. Juni 1993
• Englisch
• Abmessung: 235mm x 155mm x 21mm
• Gewicht: 486g
• ISBN-13: 9783540568025
• ISBN-10: 3540568026
• Artikelnr.: 09227805

Inhaltsangabe

Progress of Ada as an international standard: ISO/IEC JTC1/SC22 WG9 Ada status.- Graphics development in Ada.- The olympus attitude and orbital control system A case study in hard real-time system design and implementation.- Information systems support in Ada 9X.- The impact of Ada on MIS applications.- SAMeDL - A pilot project.- Applying Ada9X to two real time applications: A case study.- An efficient compiler validation method for Ada 9X.- Avoiding anomalies in inheritance schemes.- Object-oriented design of an air defence simulator.- A comparison of the object oriented features of Ada 9X and C++.- Use and abuse of exceptions - 12 guidelines for proper exception handling.- Error-prone exception handling in large Ada systems.- Structuring iterators to encourage reuse.- Tool for computing cohesion and coupling in Ada programs: DIANA dependent part.- Data compatibility in a heterogeneous processor environment.- An operational computer aided software environment: ILIADE.- Performance expectations on Ada programs.- The impact of an Ada run-time system's performance characteristics on scheduling models.- Distributed run-time system, a protocol for Ada.- Certification of Ada real time executives for safety critical applications.- Performance evaluation of parallel Ada programs using an experimental multiprocessor.- Adam, an Ada simulation toolkit.- Real and virtual interrupt support: The mapping of a CARTS feature to two different architectures.- Toward a secondary standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35.