The annual Ada-Europe conference is the key event in Europe on the Ada language. This 1991 conference volume contains papers on language issues, metrics, concurrency and parallelism in Ada, continuous systems, environments and tools, distributed systems, faces of reuse, and project reports.
Reihe
Auflage
Sprache
Verlagsort
Verlagsgruppe
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
Research
Illustrationen
Maße
Höhe: 235 mm
Breite: 155 mm
Dicke: 23 mm
Gewicht
ISBN-13
978-3-540-54092-2 (9783540540922)
DOI
Schweitzer Klassifikation
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.
