Accueil > Catégories de produits > Informatique

Informatique

18Catégories 216913Termes

Ajouter un terme

Contributors 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).