AdaCore
Publié le 11-04-2013 par Francois Gauthier
Le langage Ada fait partie depuis de nombreuses années du paysage des langages de programmation, au même titre que le C/C++ ou Java, apparu plus récemment. Moins connu que ces derniers, il a cependant su se faire un nom dans le monde des applications critiques à haut...
Réservé aux abonnés
Publié le 20-03-2013 par Francois Gauthier
Initiative unique et originale en Europe, voire dans le monde, le GTLL (Groupe Thématique Logiciel Libre) du pôle de compétitivité Systematic a été fondé en 2007. Son objectif était de rassembler PME, grands groupes, ...universités et...
Réservé aux abonnés
Publié le 27-02-2013 par Francois Gauthier
Faisant le constat que les processeurs à cœur ARM, avec l’écosystème qui les accompagne, commençaient à être utilisés de manière significative dans les secteurs de la Défense, de l’aérospatial et des transports,...
Réservé aux abonnés
Présentation
AdaCore est le principal éditeur de solutions de développement pour Ada, le langage de programmation spécifiquement conçu pour les projets logiciels de grande dimension et de longue durée dans lesquels la fiabilité, l’efficacité et la sécurité sont critiques. GNAT Pro, le produit phare d’AdaCore, comprend un ensemble complet d’outils : compilateur, débogueur, IDE, diverses blbliothèques, outils de vérification de mémoire, de couverture ou de test, kit de certification DO-178B, etc.
Fiche Entreprise
Date de création : 1994
Nationalité : France
Dirigeants : Franco Gasperoni (CEO), Cyrille Comar (managing director), Tucker Taft (director of language research)
Produits récents :