L'embarqué > Logiciel > Développement > L’outil d’analyse statique de code Ada d’Adacore qualifié pour l’avionique et le ferroviaire

L’outil d’analyse statique de code Ada d’Adacore qualifié pour l’avionique et le ferroviaire

Publié le 28 octobre 2014 à 11:48 par François Gauthier        Développement AdaCore

AdaCore CodePeer

CodePeer, l’outil d’analyse de code statique pour le langage Ada édité par la société Adacore, est désormais qualifié comme outil de vérification pour les projets de développement de code critique dans l’avionique, ...

La lecture de cet article est réservé aux abonnés payants du site.

 

 

Pour plus de souplesse, nous vous proposons plusieurs formules d'abonnement sans aucune obligation de renouvellement :

       Durée Prix
       1 mois      12 euros HT, soit 14,40 euros TTC
       6 mois   60 euros HT, soit 72 euros TTC 
       1 an  120 euros HT, soit 144 euros TTC

 

  • Vous avez déjà un compte, n'oubliez pas de vous connecter en cliquant sur "Connexion"

 

  • Vous avez déjà un compte, vous êtes connecté, et vous souhaitez souscrire un abonnement payant : 


 

  • Vous n'avez pas de compte et vous souhaitez souscrire un abonnement payant :





 

 

Sur le même sujet