Bibliografia
Poniższe dwie książki są obszernymi opisami języka Ada 2005 i języka Spark. Obie zawierają płyty CD z odpowiednimi materiałami dodatkowymi:
John Barnes. Programming in Ada 2005. Addison-Wesley (2006).
John Barnes oraz Praxis Critical Systems. High Integrity Software - The Spark approach to Safety and Security. Addison-Wesley (2003).
Poniższa (już nagradzana) książka jest dobrym wprowadzeniem do metodologii lean software development:
Peter Middleton, James Sutton. Lean Software Strategies: Proven Techniques for Managers and Developers. Productivity Press (2005).
Pod poniżej podanymi adresami znajduje się wiele użytecznych informacji:
www.adacore.com — firma AdaCore i jej produkty.
www.ada-europe.org — Ada-Europe, konferencje i periodyki.
www.adaic.org — Ada Information Clearinghouse.
www.sparkada.com — Spark.
Pozostałe dokumenty i książki, do których odwołuję się w treści broszury:
- Software Considerations in Airborne Systems and Equipment Certification, DO-178B/ED-12B, RTCA EUROCAE. (Grudzien 1992).
- Cyrille Comar i Pat Rogers. On Dynamic Plug-in Loading with Ada 95 and Ada 2005. AdaCore (2005). http://www.adacore.com/.
- ISO/IEC TR 24718:2004. Guide for the use of the Ada Ravenscar profile in high integrity systems. (2004).
- Alan Burns i Andy Wellings, Concurrent and Real-Time programming in Ada 2005. Cambridge University Press (2006).
- Janet Barnes, Rod Chapman, Randy Johnson, James Widmaier, David Cooper i Bill Everett. Engineering the Tokeneer Enclave Protection Software. Opublikowany w ISSSE 06, obrady pierwszego Miedzynarodowego Sympozjum IEEE na Secure Software Engineering. IEEE (Marzec 2006). Takze dostępny pod adresem www.sparkada.com.
