AdaCore Announces Hi-Lite Project
May 04, 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
April 27, 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
April 27, 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
April 13, 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
March 24, 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...
Advanced Technologies Selects Ada for U.S. DOT Traffic Signal Control Program
February 17, 2010 08:00 ET
|
Advanced Technologies Incorporated
WINTER SPRINGS, FL--(Marketwire - February 17, 2010) - Advanced Technologies, developer of real-time safety critical embedded systems, today announced its selection of the Ada language and GNAT...
AdaCore Releases GNAT Pro 6.3
February 09, 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,...