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 principal selection criteria, but readability and relevance to the conference theme were also taken into account. The papers were organized into eight sections, on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distribution, faces of reuse, and project reports."--PUBLISHER'S WEBSITE. Modelling the temporal summation of neural membranes using the Ada language....Pages 1-19 The use of Ada in reactive systems: A 3-dimensional model....Pages 20-36 Ada 9X real-time scheduling alternatives....Pages 37-48 Information engineering for systems in Ada....Pages 49-64 AFADA, a measurement tool for Ada....Pages 65-86 An approach to benchmarking Ada compilation systems....Pages 87-108 Modelling SIMD — Type parallel arithmetic operations in Ada....Pages 109-124 Analyzing Ada tasking deadlocks and livelocks using extended Petri nets....Pages 125-146 A coprocessor for high performance multiprocessor Ada tasking....Pages 147-165 Software project activity network for managing the development and testing process....Pages 167-192 Ada in safety critical applications....Pages 193-198 Real time electronic funds transfer and Ada....Pages 199-209 Introducing HOOD into software process modelling based environments....Pages 211-226 Design assessment of Ada systems using static analysis....Pages 227-250 Using Ada to implement the transaction mechanism of a distributed object-oriented DBMS....Pages 251-259 Distributed systems and Ada — Current projects and approaches comparative study's results....Pages 260-278 Reconfigurable Ada distributed control system software....Pages 279-302 ROSE-ADA: a method and a tool to help reuse of Ada codes....Pages 303-325 Software reuse: Customer vs. contractor point-counterpoint....Pages 326-337 Reusable input/output packages for Ada avionic applications....Pages 338-360 Constructing a pilot library of components for avionic systems....Pages 361-371 Formally specifying the logic of an automatic guidance controller....Pages 372-383 Ada as high level language for real time systems exploiting RDBMS techniques....Pages 384-393 Experience developing two Ada applications for embedded real-time systems using different software processes....Pages 394-403 Testing and integrating a large embedded real-time system....Pages 404-411 In another paper (Sivess 1989) we showed that the Ada language has features which make it suitable for the implementation of neural networks.