La vérification de la qualité d'un logiciel a toujours été une affaire complexe. L'auteur de cet article milite pour le contrôel du modèle, une technique qui a fait ses preuves pour assurer la fiabilité d'une conception matériel.

Télécharger l'article