Ada: The Choice for '92 Ada-Europe International Conference Athens, Greece, May 13-17, 1991
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...
| Other Authors: | |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1991, 1991
|
| Edition: | 1st ed. 1991 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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