商品簡介
Dans le contexte actuel, la fiabilit?et la s嶰urit?des syst鋗es spatiaux d廧endent de plus en plus directement des outils logiciels ?usage spatial (PSKN) qui y sont utilis廥. Les lacunes, les incertitudes et les interpr彋ations divergentes dans la d嶨inition et la formalisation des caract廨istiques de qualit?des PSKN et des valeurs requises laissent une grande marge d'arbitraire dans la description et l'憝aluation de leur qualit? Ces facteurs justifient la n嶰essit?de d憝elopper et d'appliquer, pour chaque projet de PSKN, des programmes sp嶰iaux ainsi que des m彋hodes formalis嶪s de description et d'憝aluation de la qualit? Le pr廥ent ouvrage expose les particularit廥, les exigences g幯廨ales et les principes d'assurance qualit?des PSKN. Compte tenu de la destination, des particularit廥, des conditions d'exploitation, du degr?d'importance des diff廨entes exigences, etc., un mod鋩e de qualit?des PSKN a 彋?幨abor?et construit. Afin d'憝aluer la qualit?des logiciels pour syst鋗es spatiaux sur la base du mod鋩e de qualit?de r嶨廨ence 幨abor? un syst鋗e d'indicateurs mesurables (d'憝aluation) a 彋?mis en place. Cet ouvrage s'adresse aux sp嶰ialistes du domaine des logiciels pour syst鋗es spatiaux, ainsi qu'aux 彋udiants des fili鋨es correspondantes dans les 彋ablissements d'enseignement sup廨ieur.