Abstract is missing.
- Effective requirements engineeringWilliam Bail. 1-2 [doi]
- Use of object oriented technologies in high reliability systemJean-Pierre Rosen. 3-4 [doi]
- Ada for parallel, embedded, and real-time applicationsJohn W. McCormick. 5-6 [doi]
- Designing real-time, concurrent, and embedded software systems using UML and AdaRobert G. Pettit IV. 7-8 [doi]
- Unmanned systems with Ada and RTEMSCindy Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly. 9-10 [doi]
- Systems software integrity assuranceChris Lane. 11-12 [doi]
- A deterministic run-time environment for Ada-05 on the ATmega16 microcontrollerJim Ras, Albert M. K. Cheng. 13-22 [doi]
- A methodology for avoiding known compiler problems using static analysisMamdouh Jemli, Jean-Pierre Rosen. 23-30 [doi]
- Wouldn't it be nice to have software labelsElizabeth Fong, Paul E. Black, Richard F. Leslie, Simson Garfinkel, Larry Wagoner, Gary McGraw, Jeff Williams. 31-32 [doi]
- Experience report: Ada & Java integration in the FAA's ERAM SWIM programRichard B. Schmidt. 33-34 [doi]
- "Unmanned systems and Ada"Richard M. Weatherly. 35-36 [doi]
- Real-time system development in ada using LEGO® mindstorms® NXTPeter J. Bradley, Juan Antonio de la Puente, Juan Zamorano. 37-40 [doi]
- Parallelism generics for Ada 2005 and beyondBrad J. Moore. 41-52 [doi]
- Extending Ada to support multi-core based monitoring and fault toleranceYou Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li. 53-62 [doi]
- Towards Ada 2012: an interim reportEdmond Schonberg. 63-70 [doi]
- The rise, fall and persistence of AdaRicky E. Sward. 71-74 [doi]