NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore today announced a new partnership with BlackBerry to support the company’s industry-leading QNX operating system across AdaCore’s family of GNAT Pro software ...

NUREMBERG, Germany--(BUSINESS WIRE)--Embedded World Conference-- AdaCore today announced the release of the latest version of its four major products: “Developing and verifying critical systems is a ...

AdaCore has updated its popular GNAT Pro development environment with Release 6.3, offering significantly enhanced tools, such as the GNATcheck coding standard verifier and the GNATstack stack size ...

Thales has developed and verified a qualified autocode generator for critical airborne software. To do it, the company used AdaCore’s GNAT Pro Ada environment. The development process for the autocode ...

The most comprehensive code coverage, analysis, and testing tool package available for Ada users AdaCore, a trusted provider of software development and verification tools, today announces the ...

Version 4.0 of the GNAT Programming Studio (GPS) 4.0, an Integrated Development Environment (IDE) that accompanies the GNAT Pro Ada language development toolset, enhances productivity through a series ...

Safe and secure software is built using good tools and good designs capable of delivering code that’s as free of bugs as possible. Ada and SPARK, which are programming languages designed to reduce the ...

Value stream management involves people in the organization to examine workflows and other processes to ensure they are deriving the maximum value from their efforts while eliminating waste — of ...