AdaCore Announces Hi-Lite Project
04. Mai 2010 08:00 ET | AdaCore
PARIS and NEW YORK, NY--(Marketwire - May 4, 2010) -  AdaCore, together with Altran Praxis, CEA LIST, Astrium Space Transportation, INRIA ProVal and Thales Communications, today announced the...
Rockwell Collins Selects SPARK Pro for Security and Information Assurance
27. April 2010 08:00 ET | AdaCore
NEW YORK, NY and PARIS and SAN JOSE, CA--(Marketwire - April 27, 2010) -  Embedded Systems Conference - AdaCore, a leading supplier of Ada development tools and support services, today announced...
AdaCore Releases GNAT Pro High-Integrity Edition Version 6.3 for Wind River VxWorks MILS Platform
27. April 2010 08:00 ET | AdaCore
NEW YORK, NY and PARIS and SAN JOSE, CA--(Marketwire - April 27, 2010) -  Embedded Systems Conference -- AdaCore, a leading supplier of Ada development tools and support services, today announced...
MBDA Extends Global Software Licensing Agreement With AdaCore
13. April 2010 08:00 ET | AdaCore
PARIS and NEW YORK, NY and BATH, ENGLAND--(Marketwire - April 13, 2010) -  AdaCore today announced a new global licensing agreement with world-leading missile systems company MBDA. The three-year...
New SPARK Pro 9 Development Environment Delivers Increased Security Assurance for Critical Projects
24. März 2010 08:00 ET | AdaCore
AMSTERDAM, NY and PARIS--(Marketwire - March 24, 2010) -  Avionics Europe 2010 -- SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating...
AdaCore Releases GNAT Pro 6.3
09. Februar 2010 08:00 ET | AdaCore
BRISTOL, UNITED KINGDOM and NEW YORK, NY and PARIS--(Marketwire - February 9, 2010) - Safety-Critical Systems Symposium -- AdaCore, a leading supplier of Ada development tools and support services,...