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 ...

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 ...

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 ...

Ada and SPARK are typically used for developing highly reliable software and it can reduce the cost of doing so. Ada and SPARK have typically been used for applications that require high levels 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 ...

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 ...

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 ...