Abstract is missing.
- Introduction to AdaMichael B. Feldman. 1-2 [doi]
- An introduction to the C# language and .NET infrastructureBen Brosgol. 3-4 [doi]
- How Ada object orientation worksJeanne L. Murtagh, Drew Hamilton. 5-6 [doi]
- Embedded systems engineering with the AADL: modeling & analysisDavid P. Gluch. 7-8 [doi]
- SPARK: the libre language and toolset for high-assurance software engineeringTrevor Jennings. 9-10 [doi]
- Unmanned systems and AdaCynthia Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly. 11-12 [doi]
- Ada for real-time and parallel processingJohn W. McCormick. 13-14 [doi]
- Service oriented architecture (SOA) concepts and implementationsRicky E. Sward. 15-16 [doi]
- Embedded, hard, real-time systems with AdaPat Rogers. 17-18 [doi]
- Multi-language programming with AdaQuentin Ochem. 19-20 [doi]
- An ada retrospective: developing large, mature, reliable systemsRichard B. Schmidt. 21-22 [doi]
- Open source development of a safety critical dual redundant (Ada95/C++) signal control program environment (SCOPE)Mark Gardinier. 23-30 [doi]
- Validate, simulate, and implement ARINC653 systems using the AADLJulien Delange, Laurent Pautet, Alain Plantec, Mickaël Kerboeuf, Frank Singhoff, Fabrice Kordon. 31-44 [doi]
- "Automatic Prototype Generating" restated with re-ADA: perspective-bridged architecture for document-driven systems transitioningSheldon X. Liang, Lyle A. Reibling, Samuel Sambasivam. 45-60 [doi]
- On using Ada to solve problems in computational economics and related disciplines with concurrent, multiagent algorithmsBruce R. Barkstrom. 61-72 [doi]
- Experience in integrating interchangeable scheduling policies into a distribution middleware for AdaHéctor Pérez Tijero, J. Javier Gutiérrez. 73-78 [doi]
- Dynamic analysis of branch mispredictions in AdaSteven M. Lathrop. 79-84 [doi]
- Echo: a new approach to formal verification based on AdaJohn Knight. 85-86 [doi]
- Use of SPARK in a resource constrained embedded systemChad Loseby, Peter Chapin, Carl Brandon. 87-90 [doi]
- A robotics API dialect for type-safe robots: translating Myro to AdaAlexander S. Mentis. 91-102 [doi]
- Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109AJames Chelini. 103-104 [doi]
- Complementing Ada with other programming languagesSamuel Tardieu, Alexis Polti. 105-114 [doi]
- Distributed container: a design pattern for fault tolerance and high speed data exchangeTong Dinh, Shan Barkataki. 115-118 [doi]
- A look at Ada from both sides now (a government, and a defense contractor perspective)Jay C. Smart. 119-120 [doi]
- Georegistration of imagery from unmanned aircraft systems using AdaRicky E. Sward. 121-126 [doi]
- The new semantic model in ASIS for Ada 2005Jean-Pierre Rosen, S. Tucker Taft. 127-132 [doi]