Applications logicielles certifiables. 3, Cycle descendant / Jean-Louis Boulanger.

Format:

Book

Author/Creator:

Boulanger, Jean-Louis, author.

Series:

Collection informatique (ISTE Editions)

Collection informatique

Language:

French

Subjects (All):

Computer software--Development.

Computer software.

Physical Description:

1 online resource (345 pages)

Place of Publication:

London, England : ISTE Editions, [2018]

Summary:

Applications logicielles certifiablesse 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.

Contents:

Cover

Table of Contents

Introduction

Chapitre 01. Réalisation d'une application logicielle

Chapitre 02. Gestion des exigences

Chapitre 03. Structure documentaire

Chapitre 04. Spécification des exigences

Chapitre 05. Modélisation

Chapitre 06. Formalisation

Chapitre 07. Vérification de la phase de spécification d'une application logicielle

Chapitre 08. Composant versus module

Chapitre 09. Architecture d'une application logicielle

Chapitre 10. Vérification de l'architecture logicielle

Chapitre 11. Conception de l'application logicielle

Chapitre 12. Vérification de la phase de conception

Chapitre 13. Codage de l'application logicielle

Chapitre 14. Règles de programmation

Chapitre 15. Vérification du codage

Chapitre 16. Fiche de version

Conclusion

Glossaire

Bibliographie

Index

Sommaires des autres volumes.

Notes:

Description based on print version record.

Includes bibliographical references and index.

ISBN:

9781784065157

1784065153

OCLC:

1239992460