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. ...
Publié le 10 mai 2017 à 09:19 par François Gauthier
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. ...
Publié le 06 avril 2017 à 07:44 par François Gauthier
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 ...
Publié le 30 mars 2017 à 10:04 par François Gauthier
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 critiques ...
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 ...
Publié le 21 juin 2016 à 12:30 par François Gauthier
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” ...
Publié le 22 mars 2016 à 12:45 par François Gauthier
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 ...
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, ...
Publié le 02 septembre 2015 à 12:28 par François Gauthier
AdaCore, éditeur d’outils logiciels pour applications critiques et spécialiste du langage Ada, annonce la mise à disposition gratuite sur son site d’une version de son compilateur Ada en open source GNAT GPL pour la carte ...
Publié le 26 février 2015 à 07:39 par François Gauthier
Le franco-américain AdaCore a profité du salon Embedded World qui se tient cette semaine à Nuremberg pour annoncer la sortie de l'outil Qgen 1.0 qui est à la fois un générateur de code qualifiable et un vérificateur de modèles ...
Publié le 21 janvier 2015 à 12:45 par François Gauthier
Le lundi 2 février prochain marquera le lancement opérationnel du laboratoire de recherche ProofInUse, fruit d’une collaboration étroite entre l’Inria, plus spécifiquement l’équipe de recherche Toccata spécialisée dans ...
Publié le 16 janvier 2015 à 12:22 par Pierrick Arlot
La version de développement 0.6 du micronoyau open source à très haut niveau de sécurité et de fiabilité Muen Separation Kernel est désormais compatible avec la technologie Spark 2014. C’est ce que viennent de confirmer l’éditeur ...
