Ada-Europe '93 : 12th Ada-Europe International Conference, "Ada Sans Frontieres", Paris, France, June 14-18, 1993. Proceedings. 1st ed. 1993

種類:

電子ブック

責任表示:

edited by Michel Gauthier

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993

著者名:

• Gauthier, Michel.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 688

ISBN:

9783540477488 [3540477489]    

注記:

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 expectatio
This volume contains the proceedings of the twelfth Ada-Europe conference, held in France in 1993. The French name "Ada sans fronti res" (the only French words in the book) symbolizes the unlimitedness and novelty of Ada, as well as Europe-wide interest. Many papers relate to Ada-9X, the new standard that the Ada coimmunity is close to achieving after worldwide consultation 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, together with various issues relating to the general structure of the language, including exceptions to a certain use of genericity and heterogeneous data, efficiency, formal requirements and CASEs, and comparison with a competitor language. A third part relates to real-time, past with performance measurement, present with certification andapplications, and future with the ExTRA project and 9X.

ローカル注記:

学内専用E-BOOKS (local access only)