AdaCore

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...

AdaCore Make with Ada
La société franco-américaine AdaCore lance la seconde édition de son concours annuel de programmation “Make with Ada” qui vise à populariser l’utilisation des langages de programmation Ada et Spark au sein de la communauté de...


Guide Spark/Ada AdaCore Thales
La société AdaCore, spécialiste des outils et du langage Ada, vient de publier un livret gratuit, intitulé Implementation Guidance for the Adoption of Spark, dont l’objet est de mieux connaître la technologie de vérification formelle Spark/Ada....

Adacore Livre DO 178C
A l’occasion de la conférence internationale Certification Together qui s’est tenue le 21 mars 2017 à Toulouse, la société franco-américaine AdaCore, spécialiste des outils de développement autour du langage Ada, a mis ...à...

GNAT Pro for Pike OS
Présentée officiellement lors de la conférence internationale Certification Together qui s’est tenue à Toulouse du 21 au 23 mars 2017, la collaboration entre d'un côté AdaCore, éditeur d’outils logiciels pour applications...

AdaCore Make with Ada
La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, a profité du congrès sur les logiciels embarqués ESE Kongress, qui se...

Make with Ada
La société franco-américaine AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, lance un concours international de développement baptisé “Make with Ada” ...afin de populariser...

La société franco-américaine AdaCore, éditeur d’outils de développement et de vérification pour des logiciels à fortes contraintes de sûreté de fonctionnement, vient de faire évoluer son récent outil QGen, introduit...