02196nam 2200433 450 991081057280332120230814234651.01-78406-515-3(CKB)4100000011773707(MiAaPQ)EBC6482583(Au-PeEL)EBL6482583(OCoLC)1239992460(EXLCZ)99410000001177370720220530d2018 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierApplications logicielles certifiables3Cycle descendant /Jean-Louis BoulangerLondon, England :ISTE Editions,[2018]©20181 online resource (345 pages)Collection informatique1-78405-515-8 Includes bibliographical references and index.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.Collection informatique (ISTE Editions)Computer softwareDevelopmentComputer softwareDevelopment.005.1Boulanger Jean-Louis847395MiAaPQMiAaPQMiAaPQBOOK9910810572803321Applications logicielles certifiables3926933UNINA