Ada-Europe 2004: Palma de Mallorca, Spain

Invited Papers

• Martin Gogolla:
  Benefits and Problems of Formal Methods. 1-15
  
• Antoni Olivé:
  On the Role of Conceptual Schemas in Information Systems Development. 16-34
  
• Steve Vinoski:
  An Overview of Middleware. 35-51
  

Static Analysis

• Peter T. Breuer, Marisol García-Valls:
  Static Deadlock Detection in the Linux Kernel. 52-64
  
• Ricky E. Sward:
  Extracting Ada 95 Objects from Legacy Ada Programs. 65-77
  
• Bernd Burgstaller, Johann Blieberger, Bernhard Scholz:
  On the Tree Width of Ada Programs. 78-90
  

Distributed Systems

• Juan López Campos, J. Javier Gutiérrez, Michael González Harbour:
  The Chance for Ada to Support Distribution and Real-Time in Embedded Systems. 91-105
  
• Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon:
  PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications. 106-119
  
• Stepan P. Nadrchal:
  Event Language for Real-Time On-the-Fly Control According to the Initial Requirements. 120-131
  

Real-Time Systems

• Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente:
  Implementing Execution-Time Clocks for the Ada Ravenscar Profile. 132-143
  
• Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo:
  Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux. 144-155
  
• Alan Burns, Andy J. Wellings, S. Tucker Taft:
  Supporting Deadlines and EDF Scheduling in Ada. 156-165
  

Reflection and XML

• Patrick Rogers, Andy J. Wellings:
  OpenAda: Compile-Time Reflection for Ada 95. 166-177
  
• Zdenko Vrandecic, Daniel Simon:
  XML4Ada95 Accessing XML Using the DOM in Ada95. 178-189
  

Testing

• Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar:
  A Randomised Test Approach to Testing Safety Critical Ada Code. 190-199
  
• Kwok Ping Chan, Tsong Yueh Chen, Dave Towey:
  Good Random Testing. 200-212
  
• Bárbara Álvarez, Juan A. Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro Javier Navarro Lorente:
  Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada. 213-224
  

Critical Systems Modeling

• Peter Amey, Neil White:
  High Integrity Ada in a UML and C World. 225-236
  
• Helge Hagenauer, Norbert Martinek, Werner Pohlmann:
  Ada Meets Giotto. 237-248
  
• Adrian J. Hilton, Jon G. Hall:
  High-Integrity Interfacing to Programmable Logic with Ada. 249-260
  

Scheduling

• Jorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo:
  Dynamic Ceiling Priorities: A Proposal for Ada0Y. 261-272
  
• Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena:
  Mixing Scheduling Policies in Ada. 273-282
  
• Mario Aldea Rivas, Francisco Javier Miranda González, Michael González Harbour:
  Implementing an Application-Defined Scheduling Framework for Ada Tasking. 283-296
  

Application Programming Interface

• Mário Amado Alves:
  A Theory of Persistent Containers and Its Application to Ada. 297-308
  
• Matthew Heaney:
  Shortcuts: A Critical Look. 309-320
  
• Franco Gasperoni:
  Vector Processing in Ada. 321-331