Ada: Moving Towards 2000: 11th Ada-Europe International Conference Zandvoort, The Netherlands, June 1–5, 1992 Proceedings [1 ed.]
3540555854, 9783540555858
Software engineering and the language Ada are playing a major role in the development of software and software technolog
Table of contents : Distributed application designed using MASCOT and implemented in Ada....Pages 1-8 Real time Ada in the International Space Station freedom....Pages 9-19 Managing Ada object-oriented development....Pages 20-34 Software engineering, Ada and metrics....Pages 35-46 Using Ada source code generators in a large project....Pages 47-59 Design and code metrics through a DIANA-based tool....Pages 60-71 Using ADA in integrating ATC systems....Pages 72-79 An evaluation of ADA source code reuse....Pages 80-91 Porting embedded real-time ADA software....Pages 92-103 Reusable executives for hard real-time systems in Ada....Pages 104-115 Designing hard real-time systems....Pages 116-127 Runtime system support for data-oriented synchronization in Ada-9X....Pages 128-137 Decimal arithmetic in Ada....Pages 138-149 Task Dependence Net as a representation for concurrent Ada programs....Pages 150-164 Detection and avoidance of elaboration-time problems for multi-unit real-time Ada applications....Pages 165-181 Simulation of Mosca specifications in Ada....Pages 182-196 Considerations with regard to validation of Ada debuggers....Pages 197-213 SWG APSE test support toolset (assessment of the CAIS-A interface set)....Pages 214-229 Compilation Integration: A solution for the challenge of developing and reusing ada software on different platforms....Pages 230-241 Extending working environments for the development of reactive/adaptive systems with intelligent controls....Pages 242-256 Predicting the speedup of parallel Ada programs....Pages 257-274 A highly parallel Ada task scheduler....Pages 275-286 STRAda An Ada transformation and distribution system....Pages 287-299 AMPATS A multi processor Ada tool set....Pages 300-311 A practical use of the Ada Rendez-Vous paradigm in distributed systems....Pages 312-324