Abstract is missing.
- How to measure and optimize reliable embedded softwareIan Broster, Andrew Coombes. 1-2 [doi]
- Service-oriented architecture (SOA)concepts and implementationsRicky E. Sward, Jeff Boleng. 3-4 [doi]
- Do-178c: the next avionics safety standardBenjamin M. Brosgol. 5-6 [doi]
- Improving quality of Ada software with range analysisJay Abraham, Jeff Chapple, Cyril Preve. 7-8 [doi]
- Introduction to AdaMichael Feldman. 9-10 [doi]
- Experimenting with parasail: parallel specification and implementation languageS. Tucker Taft. 11-12 [doi]
- Designing and checking coding standards for adaJean-Pierre Rosen. 13-14 [doi]
- Building embedded real-time applicationsJohn W. McCormick, Frank Singhoff. 15-16 [doi]
- Everything i know i learned from adaGrady Booch. 17-18 [doi]
- A parallel programming model for adaHazem Ismail Ali, Luís Miguel Pinho. 19-26 [doi]
- Stack safe parallel recursion with paraffinBradley J. Moore. 27-34 [doi]
- How to make ada go 'viral'Jean-Pierre Rosen, Brad Moore, S. Tucker Taft. 35-36 [doi]
- Why i came back to AdaMartin C. Carlisle. 37-38 [doi]
- Software vulnerabilities precluded by sparkJoyce L. Tokar, F. David Jones, Paul E. Black, Chris E. Dupilka. 39-46 [doi]
- Enhancing spark's contract checking facilities using symbolic executionJason Belt, John Hatcliff, Robby, Patrice Chalin, David Hardin, Xianghua Deng. 47-60 [doi]
- An Ada design pattern recognition tool for AADL performance analysisVincent Gaudel, Frank Singhoff, Alain Plantec, Stéphane Rubini, Pierre Dissaux, Jérôme Legrand. 61-68 [doi]
- Improving quality of Ada software with range analysisJay Abraham, Jeff Chapple, Cyril Preve. 69-74 [doi]
- Making the non-executable ACATS tests executableDan Eilers, Tero Koskinen. 75-80 [doi]
- Language choice for safety critical applicationsJames S. Rogers. 81-90 [doi]