*** Nos bureaux étant fermés pendant les fêtes, toutes les commandes de livre au format papier reçues entre le 19 décembre et le 5 janvier ne seront traitées qu’à partir du 6 janvier ***.
Nous vous souhaitons de joyeuses fêtes.
– Papier (Collections classiques, Encyclopédie SCIENCES) :
Livraison offerte pour toute commande directe effectuée sur le site istegroup.com
Délai de livraison : environ deux semaines
Envois uniquement vers : France métropolitaine, Belgique, Suisse et Luxembourg
Impression en couleur
Un ebook de l’ouvrage (à l’exception des titres de l’Encyclopédie SCIENCES) est offert pour tout achat
de sa version papier sur notre site, il vous sera envoyé après la finalisation de votre commande
Offre non applicable aux librairies
– Ebook (Collections classiques, Encyclopédie SCIENCES, Abrégés) :
Prix réservé aux particuliers
Pour les institutions : nous contacter
Nos ebooks sont au format PDF (compatible sur tout support)
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.
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
