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

Lauterbach's “TRACE32” is, according to the company, the industry's first development tool suite to fully support the AdaCore GNAT Pro Ada compiler, which is designed for safety-critical applications ...

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

Ada a general purpose programming language that incorporates advanced programming features like contracts and object oriented programming support. SPARK is a subset of the latest version of Ada that ...

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

Computers need programming languages to function. That’s just a simple fact of life. However, these languages didn’t just ...

Ada Lovelace, arguably the first computer programmer, was born 200 years ago today. She worked with Charles Babbage on one of the earliest computers in 1843. A portrait of Ada Lovelace by Margaret ...