Glossaire
Méthodes formelles : application au domaine ferroviaire

Ajouter à la bibliothèque

TRP3309 V1 Article de référence

Glossaire
Méthodes formelles : application au domaine ferroviaire

Auteur(s) : Jean-Louis BOULANGER

Date de publication : 10 février 2016 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

9. Glossaire

Application logicielle

Ensemble des programmes, des procédés et des règles et éventuellement de la documentation, relatifs au fonctionnement d’un ensemble de traitement de l’information.

Analyse d’impact

L’analyse d’impact d’une anomalie consiste à identifier les modifications à réaliser sur la phase descendante (impact sur les documents, impact sur le code, impact sur la description et l’implémentation des tests) de la réalisation.

Analyse de non-régression

L’analyse de non-régression consiste à déterminer un ensemble de vérifications permettant de démontrer que la modification réalisée n’a pas d’effet sur le reste de l’application logicielle.

Vérification

Confirmation par des preuves tangibles...

Cet article est réservé aux abonnés
Logo Techniques de l'Ingenieur

Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


Lecture en cours
Glossaire

Article inclus dans l'offre

"Systèmes ferroviaires"

( 62 articles )

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques.

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

Référentiels normatifs - Processus d’ingénierie informatique

Le traitement automatisé de l’information (informatique) s’appuie sur deux concepts de base : le mat...

Dynamique ferroviaire et contact roue-rail - Simulations et essais pour l’évaluation du comportement dynamique de marche

Cet article présente les principales activités d’évaluation des performances de la dynamique ferroviaire ...

Tous les livres blancs
Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous