Glossaire

# Logiciel critique

Dans les ressources documentaires

Articles de références et fiches pratiques à propos de : Logiciel critique

Limites et critique de la veille
Réf : FIC1405

peut être parfois aussi difficile à prouver. De fait, cette fonction essuie souvent les critiques les plus acerbes... . La veille coûte et de surcroît ne produit rien. Cette critique trouve son attachement... . Les [...]

10 janv. 2015

Vers une certification continue des logiciels [...]
Réf : H8060

De nombreux secteurs utilisent des systèmes et des logiciels critiques, dont les défaillances... et à la certification des logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il [...]

10 nov. 2019

Méthodes formelles : application au domaine ferroviaire
Réf : TRP3309

Depuis le développement de la première application ferroviaire à base de logiciel, nommée SACEM, les méthodes formelles ont été largement utilisées et mises en œuvre par des industriels à différents niveaux (spécification, conception, code) et pour différents types [...]

10 févr. 2016

Dans l'actualité

Actualité à propos de : Logiciel critique

Article d'actualité Le best of de vos contenus préférés en 2025 !
16 Décembre 2025
Le best of de vos contenus préférés en 2025 !

Livres blancs, dossiers, webinars, articles… Alors que 2025 est sur le point de se terminer, faisons le point sur les contenus que vous avez le plus apprécié...

Toute l'actualité

Inscrivez-vous aux newsletters !

Contactez-nous