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

last updated on Wed May 22 04:17:25 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page