Ada-Europe 1991: Athens, Greece

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
  

Part II: Metrics

• 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
  

Part III: Concurrency and Parallelism in Ada

• 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
  

Part IV: Continuous Systems

• 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
  

Part V: Environments and Tools

• 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
  

Part VI: Distribution

• 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
  

Part VII: Faces of Reuse

• 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
  

Part VIII: Project Reports

• 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