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

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

A year-old story about a programming language that fell out of favor 12 years ago takes the Web by storm. When one of the most popular stories of the week on our sister Web site, GCN.com, is about the ...

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