LEADER 02196nam  2200433   450 
001 9910810572803321
005 20230814234651.0
010   $a1-78406-515-3
035   $a(CKB)4100000011773707
035   $a(MiAaPQ)EBC6482583
035   $a(Au-PeEL)EBL6482583
035   $a(OCoLC)1239992460
035   $a(EXLCZ)994100000011773707
100   $a20220530d2018      uy             0
101 0 $afre
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aApplications logicielles certifiables$h3$iCycle descendant /$fJean-Louis Boulanger
210  1$aLondon, England :$cISTE Editions,$d[2018]
210  4$dİ2018
215   $a1 online resource (345 pages)
225 1 $aCollection informatique
311   $a1-78405-515-8 
320   $aIncludes bibliographical references and index.
327   $aCover -- Table of Contents -- Introduction -- Chapitre 01. Re?alisation d'une application logicielle -- Chapitre 02. Gestion des exigences -- Chapitre 03. Structure documentaire -- Chapitre 04. Spe?cification des exigences -- Chapitre 05. Mode?lisation -- Chapitre 06. Formalisation -- Chapitre 07. Ve?rification de la phase de spe?cification d'une application logicielle -- Chapitre 08. Composant versus module -- Chapitre 09. Architecture d'une application logicielle -- Chapitre 10. Ve?rification de l'architecture logicielle -- Chapitre 11. Conception de l'application logicielle -- Chapitre 12. Ve?rification de la phase de conception -- Chapitre 13. Codage de l'application logicielle -- Chapitre 14. Re?gles de programmation -- Chapitre 15. Ve?rification du codage -- Chapitre 16. Fiche de version -- Conclusion -- Glossaire -- Bibliographie -- Index -- Sommaires des autres volumes.
410  0$aCollection informatique (ISTE Editions)
606   $aComputer software$xDevelopment
615  0$aComputer software$xDevelopment.
676   $a005.1
700   $aBoulanger$b Jean-Louis$0847395
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910810572803321
996   $aApplications logicielles certifiables$93926933
997   $aUNINA