Check out some of the technical aspects of the Ada programming language, such as the Ravenscar profile.

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? De… ...

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 is a programming language with a long history designed to support high quality software development especially for safety and secure applications such as avionics. SPARK is a version of Ada ...

To support Coverity customers needing static analysis for the Ada programming language, Synopsys is working with the leading Ada expert, AdaCore. Joint customers will be able to use AdaCore’s GNAT ...

“Ada should be one of the languages considered in [the programming] decision process; however, Ada waiver requests are no longer required when another language is selected,” Paige wrote.

High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive m ...

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

Two professors emeritus at New York University, who also happen to be executives at AdaCore, which specializes in the Ada programming language, criticize Java in an article entitled “Computer ...