Resultats de la cerca

Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre…

El procés d’importació consisteix en la transformació del format de representació de les dades, i la subsegüent càrrega en memòria, l’emmagatzematge en una determinada base de dades, etc, de les dades transformades, per tal que puguin ésser usades pel programari que ha fet la importació Sovint la combinació de l’exportació i la importació de dades és l’única manera que dos programaris puguin treballar sobre el mateix conjunt de dades en exportar es crea un magatzem temporal de les dades, en un format pont entre el format original i el format final i en importar es transformen al…

El terme arquitectura fa referència tant al maquinari com al programari, de manera que hom parla de l’arquitectura d’un determinat sistema operatiu, d’una aplicació d’arquitectura client-servidor, de l’arquitectura d’un microprocessador, etc En aquest últim cas, l’arquitectura pot ésser Von Neumann o Harvard, CISC Complex Instruction Set Computer o RISC Reduced Instruction Set Computer, etc En l’arquitectura Von Neumann les dades i les instruccions comparteixen la memòria principal en l’arquitectura Harvard, en canvi, tenen espais de memòria separats En l’arquitectura CISC el…

L’exportació genèrica transforma les dades en un format estàndard de representació reconegut per multitud de programaris l’exportació específica les transforma al format intern de representació d’algun programari determinat La utilitat de l’exportació fa disponibles les dades generades o gestionades per un determinat programari, a d’altres programaris, sense que aquests hagin de conèixer el format intern del programari gestor de les dades Així, per exemple, es pot construir un full de càlcul, exportar-lo a un format de tipus text exportació genèrica, i recuperar-ne…

Comprèn un nombre determinat de trames que depèn dels tipus d’entrellaçament emprat correntment, una imatge té dues trames

Generalment s’expressa pel nombre de pícsels per unitat de superfície o pel total d’ells que és capaç de representar un visualitzador determinat

Segons que depengui poc o molt d’un tipus determinat d’ordinadors es diu que és d' alt nivell o de baix nivell , respectivament on ‘alt’ i ‘baix’ són termes relatius

És operativa en un espai limitat i durant un temps determinat Les seves característiques la fan adient per a ser utilitzada en situacions d’emergència, com desastres naturals o conflictes bèllics

Serveix per a salvaguardar la seguretat de les transaccions electròniques, com ara la signatura de documents, la identificació davant l’administració pública o l’accés a llocs de la xarxa reservats a un determinat grup de persones

En informàtica, formatar un fitxer és disposar la informació codificada de certa manera per al seu emmagatzematge en un fitxer d’ordinador En computació, formatar fa referència a preparar el disc dur per a emmagatzemar dades en un determinat format