AdaCore

AdaCore rachète Componolit
Le fournisseur d’outils de développement et de vérification pour logiciels critiques AdaCore vient de réaliser l’acquisition pour un montant non divulgué de la société allemande Componolit afin, d’une part, d’augmenter ses...

L'Embarque Tribune AdaCore
[TRIBUNE de Anthony Aiello et Yannick Moy, ADACORE] Longtemps considérées comme peu pratiques ou trop chères, les méthodes formelles ont atteint aujourd’hui un degré de maturité élevé qui...

Concours Make with Ada
AdaCore annonce les gagnants de son quatrième concours annuel de programmation Make with Ada qui tourne autour de projets intégrés de systèmes embarqués. Ce challenge vise à montrer comment les technologies de langage Ada et Spark peuvent améliorer...

AdaCore, éditeur de solutions de développement pour le langage Ada spécifiquement conçues pour les projets critiques, lance la 4e édition de son concours de programmation “Make with Ada”. Destinée aux passionnés et aux nouveaux...

AdaCore CodeDX
L’américain Code Dx, basé à New York et fournisseur d'une solution de gestion de la sécurité des applications logicielles, va collaborer avec la firme franco-américaine AdaCore, spécialiste des outils de développement et de...

Hex-Five AdaCore
L’américain Hex Five Security, créateur de la technologie MultiZone, environnement d'exécution de confiance pour les architectures RISC-V, a rejoint le programme de partenariat d'AdaCore afin de permettre l'exécution sécurisée des applications...


L’éditeur franco-américain d’outils de développement et de vérification pour les logiciels de systèmes critiques AdaCore a dévoilé qu’il collaborait avec Nvidia. Objectif de cette association : implémenter les langages...

AdaCore RISC-V
AdaCore, éditeur d’outils de développement et de vérification pour les logiciels de systèmes critiques, vient de rejoindre la fondation RISC-V, organisation à but non lucratif dont l’objet est de normaliser et de promouvoir l'architecture de jeu...

La société franco-américaine AdaCore lance la 3e édition de son concours annuel de programmation “Make with Ada” qui invite les développeurs de solutions embarquées du monde entier à créer des applications embarquées...

La cybersécurité est un domaine très vaste, couvrant les facteurs humains, la conception de matériel, la sociologie et les questions juridiques, en plus de l'ingénierie logicielle. ...L’ouvrage en anglais écrit par Roderick Chapman et Yannick Moy de...

AdaCore
Lors de l’événement TU-Automotive Detroit qui s’est tenu la semaine dernière aux Etats-Unis, la société franco-américaine AdaCore a démontré comment ses environnements de développement et de vérification de logiciels...

AdaCore Make with Ada 2017
C'est à l'occasion de la manifestation ARM TechCon qui se tient du 24 au 26 octobre 2017 à Santa Clara (Californie) que la société franco-américaine AdaCore a annoncé les gagnants de son second concours de programmation annuel baptisé "Make...