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...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: Ada-Europe International Conference :Zandvoort
Autres auteurs: Katwijk, Jan van, 19..- (Directeur de la publication)
Format: Livre numérique
Langue:Anglais
Publié: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Collection:Lecture notes in computer science 603
Sujets:
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: 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
Table des matières:
  • 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.