Tuesday, May 21, 2013 Last update: 1:10 PM
Company Tech News as it Breaks
Trade Events
AdaCore
News articles for AdaCore:
Tuesday, April 23, 2013
- AdaCore Releases Major New Version of CodePeer Static Analysis ToolDesign West Conference--AdaCore today announced the release of CodePeer 2.2, the advanced static analysis tool that helps developers detect potential run-time and ... read moreAdaCore Releases GNAT Pro 7.1Design West Conference--AdaCore today announced the availability of GNAT Pro 7.1, a major new version of the company’s flagship development environment. This ... read moreTOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research ProjectDesign West Conference--AdaCore and Altran today announced TOYOTA InfoTechnology Center (ITC) Japan’s selection of the SPARK language ... read more
Tuesday, February 26, 2013
- AdaCore Releases GNAT Pro Safety-Critical for ARM ProcessorsAdaCore today announced the availability of its GNAT Pro Safety-Critical product for ARM Cortex micro-controllers. This bareboard GNAT Pro Safety-Critical product provides a complete Ada ... read more
Tuesday, December 4, 2012
- Traceability Analysis Helps Rockwell Collins Achieve DO-178B CertificationACM SIGAda HILT Conference--AdaCore today announced the successful usage of its Code Traceability Analysis for DO-178B by Rockwell Collins in the certification ... read moreAdaCore's GNAT Pro Solves Data Endianness Portability ChallengeACM SIGAda HILT Conference--AdaCore today announced the implementation of a new GNAT Pro feature that allows Ada developers to portably and reliably ... read more
Tuesday, May 4, 2010
- AdaCore Announces Hi-Lite ProjectPARIS and NEW YORK, NY -- (Marketwire) -- 05/04/10 -- AdaCore, together with Altran Praxis, CEA LIST, Astrium Space Transportation, INRIA ProVal and Thales Communications, today announced the start of the Hi-Lite project. Financially supported by French national and local government agencies, Hi-Lite is an Open Source project ... read more