Accueil > Catégories de produits > Informatique
Informatique
18Catégories 216913Termes
Ajouter un termeContributors in Informatique
Informatique > Software engineering 
méthode inductive d'assertion
Informatique; Software engineering
Une preuve de technique de rectitude dans quelles affirmations sont rédigés en décrivant les intrants, extrants et conditions intermédiaires, un ensemble de théorèmes est mis au ...
trace de l'exécution
Informatique; Software engineering
Un compte rendu de la séquence d'instructions exécutées lors de l'exécution d'un programme informatique. Prend souvent la forme d'une liste d'étiquettes de codes rencontrées, ...
trace symbolique
Informatique; Software engineering
Un enregistrement des déclarations de la source et des résultats de branche qui sont produisent lorsqu'un programme d'ordinateur est exécuté à l'aide des valeurs symboliques, ...
compteur d'instruction
Informatique; Software engineering
Un registre qui indique l'emplacement de la prochaine instruction ordinateur à exécuter.
paquet
Informatique; Software engineering
Un composant de logiciel séparément compilable consistant en types de données connexes, les objets de données et sous-programmes.
sous-programme
Informatique; Software engineering
Un composant séparément compilable, exécutable d'un programme informatique. Remarque : le termes « routine », « sous-programme,"et « sous-routine » est définie et utilisée ...
digramme
Informatique; Software engineering
Un graphe dans lequel direction est implicite dans les connexions de l'entre-nœud (sens 2).
Sub-categories

- Big data (12)
- Câble de connexion (60)
- Informatique (2888)
- Les logiciels de productivité (22503)
- Matériel informatique (3682)
- Ordinateur de bureau (5363)
- Ordinateurs portables (2619)
- Périphériques d'entrée et de sortie (89)
- Périphériques PC (150)
- Périphériques USB (172)
- Serveurs (251)
- Software engineering (52842)
- Stations de travail (5364)
- Stockage (627)
- Tablette PC (3209)
- Technologie sans fil (1563)
- Unicode standard (14247)
- Wearables (84)