5. Réalisation mettant en œuvre les approches formelles
Comme nous l’avons montré, il est nécessaire de mettre en œuvre d’autres pratiques qui doivent permettre de détecter au plus tôt et de façon plus large les défauts de l’application logicielle. Si nous reprenons les besoins identifiés dans les différentes sections, nous obtenons le tableau 10 .
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Réalisation mettant en œuvre les approches formelles
Logiciel paramétrable
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Systèmes ferroviaires"
(
62 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
