ISTE Editions

Applications logicielles certifiables 3

Cycle descendant

Prix réservé aux particuliers.
Licences pour les institutions : cliquez ici


Jean-Louis Boulanger - Applications logicielles certifiables 3 - Disponible chez votre libraire et chez Amazon


Jean-Louis Boulanger, consultant, France

Collection Informatique dirigée par Valérie Berthé

344 pages - Novembre 2018
Ouvrage papier : 72,00 EUR
ISBN : 9781784055158 (papier)
ISBN : 9781784065157 (ebook)

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

 

Sommaire

1. Réalisation d’une application logicielle
2. Gestion des exigences
3. Structure documentaire
4. Spécification des exigences d’une application logicielle
5. Modélisation
6. Formalisation
7. Vérification de la phase de spécification d’une application logicielle
8. Composant versus module
9. Architecture d’une application logicielle
10. Vérification de l’architecture logicielle
11. Conception de l’application logicielle
12. Vérification de la phase de conception des composants de l’application logicielle
13. Codage de l’application logicielle
14. Règles de programmation
15. Vérification du codage
16. Fiche de version de l’application logicielle


Téléchargez l'introduction de l'ouvrage :

Introduction de l'ouvrage de Jean-Louis Boulanger - Applications logicielles certifiables 3 - ISTE Editions

 

Téléchargez la table des matières de l'ouvrage :

Table des matières de l'ouvrage de Jean-Louis Boulanger - Applications logicielles certifiables 3 - ISTE Editions

Nos e-books sont au format PDF, lisibles sur tout support.

Licences e-book pour les institutions:

Nous contacter

Toutes les licences sont pérennes
Pour passer commande, merci de contacter
Chantal Ménascé à c.menasce@iste.co.uk