Applications logicielles certifiables 3

Cycle descendant

Jean-Louis Boulanger - Collection Informatique

236 pages, parution le 08/11/2018

Ajouter à une liste

Indisponible

Résumé

Applications logicielles certifiables se compose de plusieurs ouvrages qui présentent le développement d'une application logicielle critique.

Ce troisième opus décrit le processus de réalisation d'une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme référence est le cycle en V. Ce cycle se veut le plus agile possible. La préparation des tests se fait donc lors de la phase descendante et permet d'identifier très tôt des défauts. Pour chaque phase, de la spécification à la production du code, les activités de conception, de préparation des tests et de vérification à mettre en place sont également présentées.

Dans cet ouvrage le lecteur trouvera une description essentielle et complète de la réalisation d'une application logicielle qui doit être mis en oeuvre, afin que celle-ci soit la plus sûre possible.

L'auteur - Jean-Louis Boulanger

Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l'accent sur la sécurité.

Autres livres de Jean-Louis Boulanger

Ingénierie des exigences

Maitriser la sécurité des systèmes programmables

Mise en oeuvre de la méthode B

Outils de mise en oeuvre industrielle des techniques formelles

Découvrir tous les livres de Jean-Louis Boulanger

Sommaire

Réalisation d'une application logicielle
Gestion des exigences
Structure documentaire
Spécification des exigences d'une application logicielle
Modélisation
Formalisation
Vérification de la phase de spécification d'une application logicielle
Composant versus module
Architecture d'une application logicielle
Vérification de l'architecture logicielle
Conception de l'application logicielle
Vérification de la phase de conception des composants de l'application logicielle
Codage de l'application logicielle
Règles de programmation
Vérification du codage
Fiche de version de l'application logicielle

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Iste
Auteur(s)	Jean-Louis Boulanger
Collection	Informatique
Parution	08/11/2018
Nb. de pages	236
Format	15,5 x 24
Couverture	Broché
Poids	345g
Intérieur	Noir et Blanc
EAN13	9781784055158
ISBN13	978-1-78405-515-8