Abstract is missing.
- An Invitation to Ada 2005Pascal Leroy. 1-23 [doi]
- Modules for Crosscutting ModelsMira Mezini, Klaus Ostermann. 24-44 [doi]
- Software Fault Tolerance: An OverviewJörg Kienzle. 45-67 [doi]
- High Integrity RavenscarPeter Amey, Brian Dobbing. 68-79 [doi]
- Adding Temporal Annotations and Associated Verification to Ravenscar ProfileAlan Burns, Tse-Min Lin. 80-91 [doi]
- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application SoftwareNiklas Holsti, Thomas Långbacka. 92-101 [doi]
- Booch s Ada vs. Liskov s Java: Two Approaches to Teaching Software DesignEhud Lamm. 102-112 [doi]
- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Speci.cation for JavaBenjamin M. Brosgol, Andy J. Wellings. 113-128 [doi]
- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in AdaEmmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers. 129-141 [doi]
- Busy Wait AnalysisJohann Blieberger, Bernd Burgstaller, Bernhard Scholz. 142-152 [doi]
- Eliminating Redundant Range Checks in GNAT Using Symbolic EvaluationJohann Blieberger, Bernd Burgstaller. 153-167 [doi]
- Quasar: A New Tool for Concurrent Ada Programs AnalysisSami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. 168-181 [doi]
- A Graphical Environment for GLADEErnestina Martel, Francisco Guerra Santana, Javier Miranda, Luis Hernández. 182-195 [doi]
- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net ProjectMário Amado Alves, Alípio Jorge, Matthew Heaney. 196-207 [doi]
- Transactions and Groups as Generic Building Blocks for Software Fault ToleranceMarta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander B. Romanovsky. 208-219 [doi]
- Getting System Metrics Using POSIX Tracing ServicesAgustín Espinosa Minguet, Vicente Lorente Garcés, Ana García-Fornes, Alfons Crespo i Lorente. 220-231 [doi]
- Some Architectural Features of Ada Systems Affecting DefectsWilliam M. Evanco, June M. Verner. 232-245 [doi]
- Evidential Volume Approach for CertificationSilke Kuball, Gordon Hughes. 246-257 [doi]
- A Survey of Physical Unit Handling Techniques in AdaChristoph Grein, Dmitry A. Kazakov, Fraser Wilson. 258-270 [doi]
- Charles: A Data Structure Library for Ada95Matthew Heaney. 271-282 [doi]
- A Quality Model for the Ada Standard Container LibraryXavier Franch, Jordi Marco. 283-296 [doi]
- Experiences on Developing and Using a Tool Support for Formal SpecificationTommi Mikkonen. 297-308 [doi]
- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95Tse-Min Lin, John A. McDermid. 309-321 [doi]
- Running Ada on Real-Time LinuxMiguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo. 322-333 [doi]
- A Round Robin Scheduling Policy for AdaAlan Burns, Michael González Harbour, Andy J. Wellings. 334-343 [doi]
- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95Francisco Javier Miranda González, Michael González Harbour. 344-358 [doi]
- A Test Environment for High Integrity Software DevelopmentAlejandro Alonso, Juan Antonio de la Puente, Juan Zamorano. 359-267 [doi]
- Normalized Restricted Random TestingKwok Ping Chan, Tsong Yueh Chen, Dave Towey. 368-381 [doi]
- Testing Safety Critical Ada Code Using Non Real Time TestingYogananda V. Jeppu, Kundapur Karunakar, P. S. Subramanyam. 382-392 [doi]
- The Standard UML-Ada ProfileFrancis Thom. 394-404 [doi]
- HRT-UML: Taking HRT-HOOD onto UMLSilvia Mazzini, Massimo D Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega. 405-416 [doi]
- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MASTFrancisco J. Ortiz, Bárbara Álvarez, Juan A. Pastor, Pedro Sánchez. 417-428 [doi]