Blog
An Insight Into the AdaCore Ecosystem
Apr 28, 2026
Mark Hermeling
The Compliance Trap: Why More Code, More Connectivity, and More Regulation Are Colliding (and What to Do About It)
Software development teams in embedded systems must navigate between stricter regulations, rising customer demands, and unfulfilled AI promises to…
Read More
May 19, 2008
Gem #36: Safe and Secure Software : Chapter 3, Safe Pointers
May 12, 2008
Gem #35: Bounded buffer package in GNAT hierarchy (Part 1)
May 05, 2008
Gem #34: Safe and Secure Software : Chapter 2, Safe Typing
Apr 28, 2008
Gem #33: Accessibility Checks (Part I: Ada95)
Apr 21, 2008
Gem #32: Safe and Secure Software : Chapter 1, Safe Syntax
Apr 14, 2008
Gem #31: Preconditions/postconditions
Apr 08, 2008
Gem #30: Safe and Secure Software : Introduction
Mar 31, 2008
Gem #29: Introduction to the Ada Web Server (AWS)
Mar 17, 2008
Gem #28: Changing Data Representation (Part 2)
Mar 03, 2008
Gem #27: Changing Data Representation (Part 1)
Feb 25, 2008
Gem #26: The Mod Attribute
Feb 11, 2008