L'embarqué > AdaCore

AdaCore

AdaCore lance le concours “Make with Ada”

Publié le 15 mai 2017 à 12:12 par François Gauthier        

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 l’embarqué pour améliorer la qualité du code logiciel. ...

Partager
Lire

Les vainqueurs du concours sur les développements Ada et Spark sur ARM Cortex-R/M sont connus

Publié le 30 novembre 2016 à 12:24 par François Gauthier        

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 déroule à Sindelfingen ...

Partager
Lire

Avec l’outil Spark Pro 16, AdaCore facilite l’usage de la vérification statique et des preuves formelles

Publié le 01 février 2016 à 12:26 par François Gauthier        

La société AdaCore, éditeur d’outils de développement et de vérification de logiciels critiques qui nécessitent de hauts niveaux de sécurité et/ou de sûreté, a profité de l’événement ERTS 2016, qui s’est déroulé à Toulouse fin janvier, ...

Partager
Lire

Lire les articles suivants