Ada Core Technologies

(redirected from AdaCore)

Ada Core Technologies

(company)
(ACT) The company that maintains GNAT.

Ada Core Technologies was founded in 1994 by the original authors of the GNAT compiler. ACT provides software for Ada 95 development.

http://gnat.com/.
Mentioned in ?
References in periodicals archive ?
The team has extensive experience using Ada on previous high-integrity embedded system projects, and has collaborated with AdaCore on a number of these.
AdaCore a Major Sponsor of the Inaugural Edition of the High Integrity Software Conference New conference will focus on reliable, safe and secure software
Altran and AdaCore announce the release of the SPARK Pro 14.
AdaCore today announced the successful usage of its SPARK Pro and GNAT Pro High-Security products by Rockwell Collins in the development of the SecureOneTM Guard, a high assurance cross domain guard for military tactical systems.
SPARK Pro, a Freely Licensed Open Source Software (FLOSS) product created by AdaCore and Altran Praxis, will be used by secunet as a strategic technology to build highly robust security-critical applications.
Development software company AdaCore today announced the release of the latest version of its GNAT Programming Studio.
AdaCore has developed an infrastructure and methodology to perform this activity; the product of this activity is a source-to-object Code Traceability Analysis.
Inc Acorn Surface Technology Ltd Acroturn Industries Inc ACT Aerospace Adacel AdaCore Adaptive Technologies, Inc.
Altran Praxis and AdaCore have announced a new reference implementation of the Skein algorithm, written and verified using the GPL 2010 Edition of the SPARK language and toolset.
AdaCore, a leading supplier of Ada development tools and support services, today announced that Lockheed Martin Aeronautics, Marietta, Georgia, will be using GNAT Pro to develop the Flight Management System Interface Manager and Radio Control software on the C-130J Super Hercules aircraft.
Worldwide Computer Products News-24 March 2009-Praxis and AdaCore new open source tools for software development(C)1995-2009 M2 COMMUNICATIONS LTD http://www.
More than 10 partners from Wind River's ecosystem will also be on hand, including AdaCore, CRC, DDC-I, Freescale, IBM Rational, IBM Systems and Technology, iLogix, OIS, Tilcon and Virtutech .