MathWorks met l’accent sur la vérification statique de code
Publié le 12-09-2013
par Francois Gauthier
A l’occasion du lancement de la version 2013b de ses familles d’outils Matlab et Simulink, l’américain MathWorks introduit deux outils de vérification statique de code, Polyspace Code Prover et Polyspace Bug Finder. ...Disponibles avec la version R2013b de...
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)
- 24/09/2013 – L’environnement de développement LPCXpresso passe en version 6 sous la houlette de NXP
- 23/09/2013 – Programmation parallèle OpenMP et compilation optimisée pour LabWindows/CVI 2013
- 17/09/2013 – L’outil Silver de QTronic virtualise et simule sur PC les ECU pour l’automobile
- 10/09/2013 – Jusqu'à huit ECU programmées en parallèle via l’outil vFlash Station de Vector
- 05/09/2013 – La plate-forme de création d’IHM orientées objet de FTDI Chip a son module de développement
- 29/08/2013 – Oracle avec Java vise l’Internet des objets et ARM s’invite dans la danse
