L'embarqué > Logiciel > Test & Validation > Altran et AdaCore lancent un outil de vérification statique de code basé sur le langage Spark 2014

Altran et AdaCore lancent un outil de vérification statique de code basé sur le langage Spark 2014

Publié le 05 mai 2014 à 13:52 par François Gauthier        Test & Validation Altran

Spark 2014

La société d’ingénierie et de conseil en technologies avancées Altran et l’éditeur d’outils logiciels pour applications critiques AdaCore annoncent le lancement de l'environnement de vérification et de développement intégré ...

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