Abstract is missing.
- Benefits and Problems of Formal MethodsMartin Gogolla. 1-15 [doi]
- On the Role of Conceptual Schemas in Information Systems DevelopmentAntoni Olivé. 16-34 [doi]
- An Overview of MiddlewareSteve Vinoski. 35-51 [doi]
- Static Deadlock Detection in the Linux KernelPeter T. Breuer, Marisol García-Valls. 52-64 [doi]
- Extracting Ada 95 Objects from Legacy Ada ProgramsRicky E. Sward. 65-77 [doi]
- On the Tree Width of Ada ProgramsBernd Burgstaller, Johann Blieberger, Bernhard Scholz. 78-90 [doi]
- The Chance for Ada to Support Distribution and Real-Time in Embedded SystemsJuan López Campos, J. Javier Gutiérrez, Michael González Harbour. 91-105 [doi]
- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed ApplicationsThomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon. 106-119 [doi]
- Event Language for Real-Time On-the-Fly Control According to the Initial RequirementsStepan P. Nadrchal. 120-131 [doi]
- Implementing Execution-Time Clocks for the Ada Ravenscar ProfileJuan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente. 132-143 [doi]
- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and LinuxMiguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo. 144-155 [doi]
- Supporting Deadlines and EDF Scheduling in AdaAlan Burns, Andy J. Wellings, S. Tucker Taft. 156-165 [doi]
- OpenAda: Compile-Time Reflection for Ada 95Patrick Rogers, Andy J. Wellings. 166-177 [doi]
- XML4Ada95 Accessing XML Using the DOM in Ada95Zdenko Vrandecic, Daniel Simon. 178-189 [doi]
- A Randomised Test Approach to Testing Safety Critical Ada CodeSukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar. 190-199 [doi]
- Good Random TestingKwok Ping Chan, Tsong Yueh Chen, Dave Towey. 200-212 [doi]
- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using AdaBárbara Álvarez, Juan A. Pastor, Francisco J. Ortiz, Pedro Sánchez, Pedro Javier Navarro Lorente. 213-224 [doi]
- High Integrity Ada in a UML and C WorldPeter Amey, Neil White. 225-236 [doi]
- Ada Meets GiottoHelge Hagenauer, Norbert Martinek, Werner Pohlmann. 237-248 [doi]
- High-Integrity Interfacing to Programmable Logic with AdaAdrian J. Hilton, Jon G. Hall. 249-260 [doi]
- Dynamic Ceiling Priorities: A Proposal for Ada0YJorge Real, Alan Burns, Francisco Javier Miranda González, Edmond Schonberg, Alfons Crespo. 261-272 [doi]
- Mixing Scheduling Policies in AdaAgustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena. 273-282 [doi]
- Implementing an Application-Defined Scheduling Framework for Ada TaskingMario Aldea Rivas, Francisco Javier Miranda González, Michael González Harbour. 283-296 [doi]
- A Theory of Persistent Containers and Its Application to AdaMário Amado Alves. 297-308 [doi]
- Shortcuts: A Critical LookMatthew Heaney. 309-320 [doi]
- Vector Processing in AdaFranco Gasperoni. 321-331 [doi]