Du modèle au code généré, méthodes formelles et analyse statique renforcent la confiance
Publié le 14-10-2013
par Francois Gauthier
Au delà des vicissitudes de la vie des affaires et des rachats entre entreprises, certaines technologies perdurent, se bonifient au cours du temps et trouvent leur chemin auprès des utilisateurs, malgré des changements d’environnements. C’est le cas des solutions...
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)
- 18/10/2013 – L’OS temps réel Nucleus s’adapte à la sûreté de fonctionnement
- 15/10/2013 – Automobile : les outils conformes à la version 4.x d’Autosar arrivent petit à petit sur le marché
- 14/10/2013 – IBM et Semtech boostent la portée des réseaux de capteurs sans fil à 15 kilomètres
- 10/10/2013 – Un kit de Xilinx vise à accélérer le développement d’applications gourmandes en bande passante
- 09/10/2013 – Wind River calibre sa plate-forme logicielle pour les passerelles et concentrateurs M2M
- 07/10/2013 – Eurotech veut améliorer la gestion du cycle de vie des applications M2M
