Ada : the choice for '92 : Ada-Europe International Conference, Athens, Greece, May 13 17, 1991 : proceedings
The annual Ada-Europe conference is the most important event in Europe for the promotion and development of the Ada programming language and of Ada-based software engineering methodology. A total of 25 papers were selected for the 1991 conference. Technical excellence and originality were the princi...
Guardado en:
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Livre numérique |
| Lenguaje: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Colección: | Lecture notes in computer science
499 |
| Materias: | |
| Acceso en línea: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Ada, the choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, proceedings, Dimitris Christodoulakis (ed.), Berlin, Springer-Verlag, 1991, 1 vol. (411 p.), Lecture notes in computer science, 0-387-54092-X • Ada: The Choice for '92, Texte imprimé, 9783662185971 |
Tabla de Contenidos:
- Modelling the temporal summation of neural membranes using the Ada language
- The use of Ada in reactive systems: A 3-dimensional model
- Ada 9X real-time scheduling alternatives
- Information engineering for systems in Ada
- AFADA, a measurement tool for Ada
- An approach to benchmarking Ada compilation systems
- Modelling SIMD Type parallel arithmetic operations in Ada
- Analyzing Ada tasking deadlocks and livelocks using extended Petri nets
- A coprocessor for high performance multiprocessor Ada tasking
- Software project activity network for managing the development and testing process
- Ada in safety critical applications
- Real time electronic funds transfer and Ada
- Introducing HOOD into software process modelling based environments
- Design assessment of Ada systems using static analysis
- Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS
- Distributed systems and Ada Current projects and approaches comparative study's results
- Reconfigurable Ada distributed control system software
- ROSE-ADA: a method and a tool to help reuse of Ada codes
- Software reuse: Customer vs. contractor point-counterpoint
- Reusable input/output packages for Ada avionic applications
- Constructing a pilot library of components for avionic systems
- Formally specifying the logic of an automatic guidance controller
- Ada as high level language for real time systems exploiting RDBMS techniques
- Experience developing two Ada applications for embedded real-time systems using different software processes
- Testing and integrating a large embedded real-time system.