Papers

Interview with AdaCore's Space Systems Software Expert, Eric Perlade

Streamlining Software Development with Certifiable Code Generation

How to Increase Military Software Innovation and Longevity through Reuse

Disruptive Technology for Military-Grade Software

Guidelines and Considerations Around ED-203A / DO-356A Security Refutation Objectives

Software Safety Certification Q&A

Security-Hardening Software Libraries with Ada and SPARK

Why use a commercially supported C/C++ toolchain?

When Testing Is Not Enough

How to Succeed in the Software Business While Giving Away the Source Code — The AdaCore Experience

Ada: Meeting Tomorrow’s Software Challenges Today

Controlling Costs with Software Language Choice — How Ada Can Help

Thoughts on Ada