Ada - Europe '93 : 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings
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 n...
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
688 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada-Europe '93, 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993, proceedings, Michel Gauthier, ed, Berlin, Springer-Verlag, 1993, 1 vol. (VIII-351 p.), Lecture notes in computer science, 3-540-56802-6 • Ada-Europe '93, Texte imprimé, 9783662203545 |
| LEADER | 05026nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944355 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155185268 | ||
| 020 | |a 9783540477488 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a Ada-Europe International Conference |n (12 |d :1993 |c :Paris). | |
| 245 | 1 | 0 | |a Ada - Europe '93 : |b 12th Ada-Europe International Conference, Ada Sans Frontières , Paris, France, June 14 18, 1993 : proceedings |c [edited by] Michel Gauthier. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 688 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Ada (langage de programmation) | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Gauthier, Michel J., |d 19..-...., |c biologiste. |4 pbd | |
| 776 | 0 | |0 017331951 |t Ada-Europe '93 |o 12th Ada-Europe International Conference, "Ada Sans Frontières", Paris, France, June 14-18, 1993 |o proceedings |f Michel Gauthier, ed |c Berlin |n Springer-Verlag |d 1993 |p 1 vol. (VIII-351 p.) |s Lecture notes in computer science |z 3-540-56802-6 | |
| 776 | 0 | |t Ada-Europe '93 |b Texte imprimé |z 9783662203545 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-56802-6 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-6VHXFLCM-K |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747920435 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-56802-6 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750932902 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-56802-6 |z Accès INSA CVL | |
| 997 | |0 944355 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||