Papers

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