Books

AdaCore Technologies for Space Systems Software

Benjamin M. Brosgol & Jean-Paul Blanquart

AdaCore Technologies for FACE™ Software Developers

Benjamin M. Brosgol & Dudrey Smith

Ada for the Embedded C Developer

Quentin Ochem, Robert Tice, Gustavo A. Hoffmann, and Patrick Rogers

SPARK Ada for the MISRA C Developer

Yannick Moy

AdaCore Technologies for Cybersecurity

Roderick Chapman & Yannick Moy

Ada for the C++ or Java Developer

Quentin Ochem

AdaCore Technologies for DO‑178C / ED‑12C

Frédéric Pothon & Quentin Ochem

AdaCore Technologies for CENELEC EN 50128:2011

Jean-Louis Boulanger & Quentin Ochem

Implementation Guidance for the Adoption of SPARK

Embedded SPARK and Ada Use Cases

Multiple Authors

Safe and Secure Software - An Invitation to Ada 2012

John Barnes

Safe and Secure Software Updated for SPARK (Russian Translation)

Dissimilar tools: Use cases and impact on tool qualification level

Frédéric Pothon

DO-330/ED-215 Benefits of the New Tool Qualification Document

Frédéric Pothon

Source Code to Object Code Traceability Study

DO-178C/ED-12C vs DO-178B/ED-12B: Changes and Improvements

Frédéric Pothon

GNAT and Ada 2005

Javier Miranda & Edmond Schonberg

GNAT: The GNU Ada Compiler

Javier Miranda and Edmond Schonberg