Abstract is missing.
- Multilanguage programming with ada in the .Net environmentJeffrey W. Humphries, Martin C. Carlisle, Terry A. Wilson. 1-3 [doi]
- Static verification and extreme programmingPeter Amey, Roderick Chapman. 4-9 [doi]
- AdaSlicer: an Ada program slicerRicky E. Sward, A. T. Chamillard. 10-16 [doi]
- Verifying linear time temporal logic properties of concurrent Ada programs with quasarSami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau. 17-24 [doi]
- A DSA model for data access in self-organizing systemsDhavy Gantsou. 25-28 [doi]
- European air traffic flow management: porting a large application to GNU/linuxGaetan Allaert, Dirk Craeynest, Philippe Waroquiers. 29-37 [doi]
- Experiences in developing a typical web/database applicationJean-Pierre Rosen. 38-48 [doi]
- A framework for designing and implementing the Ada standard container libraryJordi Marco, Xavier Franch. 49-61 [doi]
- Measuring cohesion of packages in Ada95Baowen Xu, Zhenqiang Chen, Jianjun Zhao. 62-67 [doi]
- The case for Ada at the USAF academyRicky E. Sward, Martin C. Carlisle, Barry S. Fagin, David S. Gibson. 68-70 [doi]
- A practical comparison between Java and Ada in implementing a real-time embedded systemEric Potratz. 71-83 [doi]