Applications Logicielles Certifiables 3

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

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Boulanger, Jean-Louis
Médium: E-kniha
Jazyk:francouzština
Vydáno: London ISTE Editions Ltd 2018
ISTE Editions
Vydání:1
Edice:Collection informatique
Témata:
ISBN:9781784055158, 1784055158
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • 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