Ada: The Choice for '92: Ada-Europe International Conference Athens, Greece, May 13-17, 1991

ISBN-13: 9783540540922 / Angielski / Miękka / 1991 / 416 str.

Dimitris Christodoulakis; Dimitrios Christodoulakis

Opis

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.

Spis treści

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.