Altran et AdaCore lancent un outil de vérification statique de code basé sur le langage Spark 2014
Publié le 05-05-2014
par Francois Gauthier
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...
Je m'abonne
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 | Type | Prix |
| 1 mois | Découverte | 25 euros HT |
| 1 an | Complet | 200 euros HT |
-dissolve-basic-fr(1).jpg)
- 16/05/2014 – PragmaDev innove au niveau du test basé sur les modèles
- 15/05/2014 – Automobile : Vector muscle le test et le débogage des logiciels Autosar enfouis dans les ECU
- 07/05/2014 – Le spécialiste du “débogage réversible” Undo Software lève 1,25 million de dollars
- 30/04/2014 – Verocel transforme en un outil sur étagère son savoir-faire en service pour la certification
- 15/04/2014 – National Instruments et l'université de Lund planchent sur le test de "Massive Mimo” pour la 5G
- 14/04/2014 – GrammaTech introduit le test statique de code binaire tierce partie dans l'outil CodeSonar
