Développement du logiciel
Méthodes formelles : application au domaine ferroviaire

Ajouter à la bibliothèque

TRP3309 V1 Article de référence

Développement du logiciel
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é ?

1. Développement du logiciel

1.1 Réalisation d’une application logicielle

Afin de fixer les idées, nous proposons ci-dessous une définition pour caractériser une application logicielle.

Définition 1 – 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.

Il est à noter que nous parlons ici de la réalisation d’une application logicielle et non du développement d’une application logicielle : la notion de réalisation d’une application logicielle couvre en effet les activités de développement mais aussi les activités de vérification, de validation, de production, d’installation et de maintenance de l’application...

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é ?


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