This TechXchange includes articles about the Ada/SPARK programming language. Ada is a programming language with a long history designed to support high quality software development especially for ...

Who doesn’t want to use a programming language that is designed to be reliable, straightforward to learn and also happens to be certified for everything from avionics to rockets and ICBMs? Despite Ada ...

While a longtime dignitary in the technology space still is not convinced, advocates of the Ada programming language are touting benefits of an upgrade to the platform as well as their company’s ...

In the previous article we looked at designing a lock-free ring buffer (LFRB) in Ada, contrasting and comparing it with the C++-based version which it is based on, and highlighting the Ada way of ...

Jean Ichbiah, best known as the inventor of the Ada programming language, died Jan. 26, at age 66 of a brain tumor. According to one online eulogy, “Ichbiah’s main appearance under the limelight was ...

Coverity customers can now benefit from AdaCore’s GNAT Static Analysis Suite and Ada expertise to ensure the quality, security, and reliability of their Ada code NEW YORK--(BUSINESS ...