AdaCore Announces Hi-Lite Project
04 mai 2010 08h00 HE
|
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 avr. 2010 08h00 HE
|
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 avr. 2010 08h00 HE
|
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 avr. 2010 08h00 HE
|
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 mars 2010 08h00 HE
|
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
17 févr. 2010 08h00 HE
|
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
09 févr. 2010 08h00 HE
|
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,...