Video
Online Books
Google Books
Archive
Journals
Papers
Standard
ARG - Ada Rapporteur Group
Program design books from Internet Archive
- High integrity software : the Spark approach to safety and security by Barnes, J. G. P., 2003.
- Ada: problem solving and program design
- Good programming practice in Ada
- Software engineering with Ada by Grady Booch and Doug Bryan, 1994.
- System design with Ada by Buhr; R. J. A, 1987.
- Software design techniques for large Ada systems by Byrne, William E, 1991.
- Design of dependable Ada software by Motet, G, 1996.
- Object-oriented design with Ada : maximizing reusability for real-time systems by Nielsen, Kjell, 1992.
- Software engineering with abstractions by Bērzin̦š, Valdis Andris, 1991.
- Object-oriented reuse, concurrency, and distribution : an Ada-based approach by Atkinson, Colin, 1991.
- Concurrent programming in Ada by Burns, Alan, 1985.
- Concurrency in ADA by Burns, Alan, 1995.
- Programming in ADA by John Barnes, 1984.
- Developing safety systems : a guide using Ada by Pyle, Ian C., 1991.