Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings
Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in s...
Gorde:
| Erakunde egilea: | |
|---|---|
| Beste egile batzuk: | |
| Formatua: | Livre numérique |
| Hizkuntza: | Anglais |
| Argitaratua: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Saila: | Lecture notes in computer science
603 |
| Gaiak: | |
| Sarrera elektronikoa: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Oharra: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada, moving towards 2000, 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992, proceedings, J. van Katwijk (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (VIII-324 p.), Lecture notes in computer science, 3-540-55585-4 • Ada: Moving Towards 2000, Texte imprimé, 9783662196984 |
| LEADER | 04751nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 945532 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155231421 | ||
| 020 | |a 9783540472407 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.133 | ||
| 111 | 2 | |a Ada-Europe International Conference |n (11 |d :1992 |c :Zandvoort). | |
| 245 | 1 | 0 | |a Ada : |b moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings |c [edited by] J. van Katwijk. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 603 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Distributed application designed using MASCOT and implemented in Ada -- Real time Ada in the International Space Station freedom -- Managing Ada object-oriented development -- Software engineering, Ada and metrics -- Using Ada source code generators in a large project -- Design and code metrics through a DIANA-based tool -- Using ADA in integrating ATC systems -- An evaluation of ADA source code reuse -- Porting embedded real-time ADA software -- Reusable executives for hard real-time systems in Ada -- Designing hard real-time systems -- Runtime system support for data-oriented synchronization in Ada-9X -- Decimal arithmetic in Ada -- Task Dependence Net as a representation for concurrent Ada programs -- Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications -- Simulation of Mosca specifications in Ada -- Considerations with regard to validation of Ada debuggers -- SWG APSE test support toolset (assessment of the CAIS-A interface set) -- Compilation Integration: A solution for the challenge of developing and reusing ada software on different platforms -- Extending working environments for the development of reactive/adaptive systems with intelligent controls -- Predicting the speedup of parallel Ada programs -- A highly parallel Ada task scheduler -- STRAda An Ada transformation and distribution system -- AMPATS A multi processor Ada tool set -- A practical use of the Ada Rendez-Vous paradigm in distributed systems. | |
| 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 Software engineering and the language Ada are playing a major role in the development of software and software technology for the new century. The11th Ada Europe conference shows that Ada has matured from a language, mainly of researchers and academics in the early 1980s, into a full-grown tool in software engineering practice. This volume contains a selection of contributions to the conference. They demonstrate that Ada is very beneficially used in many software development projects and is gradually becoming accepted on the scale it deserves. Papers have been selected that show that Ada is indeed ripened in all aspects of software engineering. A variety of topics is addressed: management, economics, practical experiences, numerics, and the use of Ada for real-time and distributed systems. | ||
| 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 Katwijk, Jan van, |d 19..- |4 pbd | |
| 776 | 0 | |0 023404795 |t Ada |o moving towards 2000 |o 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 |o proceedings |f J. van Katwijk (ed.) |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (VIII-324 p.) |s Lecture notes in computer science |z 3-540-55585-4 | |
| 776 | 0 | |t Ada: Moving Towards 2000 |b Texte imprimé |z 9783662196984 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55585-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-7GN7WRW4-P |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747909695 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55585-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750922575 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55585-4 |z Accès INSA CVL | |
| 997 | |0 945532 |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/ | ||