Ada-Europe 1991: Athens, Greece

Dimitris Christodoulakis (Ed.): Ada: The Choice for '92, Ada-Europe International Conference, Athens, Greece, May 13-17, 1991, Proceedings. Lecture Notes in Computer Science 499 Springer 1991, ISBN 3-540-54092-X

Part I: Language Issues

Michael C. Curtis, Victoria J. D. Sivess:
Modelling the Temporal Summation of Neural Membranes Using the Ada Language. 2-19
Tzilla Elrad, V. Winans:
The Use of Ada in Reactive Systems: A 3-Dimensional Model. 20-36
Fred A. Maymir-Ducharme:
Ada 9X Real-Time Scheduling Alternatives. 37-48

Stefan Björnson:
Information Engineering for Systems in Ada. 50-64
C. T. Tsalidis, A. E. Hatzimanikatis:
AFADA, a Measurement Tool for Ada. 65-86
Tom Curley:
An Approach To Benchmarking Ada Compilation Systems. 87-108

Jürgen Wolff von Gudenberg:
Modellin SIMD - Type Parallel Arithmetic Operations in Ada. 110-124
Jingde Cheng, Kazuo Ushijima:
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets. 125-146
Lars Lundberg:
A Coprocessor for High Performance Multiprocessor Ada Tasking. 147-165

Kurt M. Gutzmann, David L. Remkes, Jeffrey L. Ragsdale:
Software Project Activity Network for Managing the Development and Testing Process. 168-192
A. Welz:
Ada in Safety Critical Applications. 193-198
Jean Willain, Pierrot Baesens, Joël Sanzot, Stef van Vlierberghe:
Real-Time Electronic Funds Transfer and Ada. 199-209

J. R. Larre, N. Alfaro, J. J. Galán, Juan Garbajosa:
Introducing HOOD into Software Process Modelling Based Environments. 212-226
Alex Delis, William M. Thomas:
Design Assessment of Ada Systems Using Static Analysis. 227-250

P. Soupos, S. Goutas:
Using Ada to Implement the Transaction Mechanism of a Distributed Object-Oriented DBMS. 252-259
Uwe Baumgarten:
Distributed Systems and Ada - Current Projects and Approaches Comparative Study's Results. 260-278
D. C. Levy, M. C. Randelhoff, Joyce L. Tokar:
Reconfigurable Ada Distributed Control System Software. 279-302

N. Badaro, Th. Moineau:
ROSE-Ada: a Method and a Tool to Help Reuse of Ada Codes. 304-325
Trevor Syms, Christine L. Braun:
Software Reuse: Customer vs. Contractor Point-Counterpoint. 326-337
Alfred Rosskopf:
Reusable Input/Output Packages for Ada Avionic Applications. 338-360

José L. Fernández, Juan Antonio de la Puente:
Constructing a Pilot Library of Components for Avionic Systems. 362-371
David Guaspari:
Formally Specifying the Logic of an Automatic Guidance Controller. 372-383
C. Colombini, A. della Torre, R. Palotti:
Ada as High Level Language for Real-Time Systems Exploiting RDBMS Techniques. 384-393
Brian Gilbert, Mike Taylor, Greg Bek:
Experience Developing two Ada Applications for Embedded Real-Time Systems Using Different Software Processes. 394-403
J.-M. Lippens, J. Arnol:
Testing and Integrating a Large Embedded Real-Time System. 404-411

Last update Mon May 21 02:19:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page