Software engineering

Software engineering

The systematic application of scientific principles and disciplines to the development, operation, and maintenance of software to perform prespecified functions with maximum economy and efficiency.

Industrie : Informatique; Logiciels

Ajouter un nouveau terme

Contributors in Software engineering

Become a Contributors

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 point concernant la ...

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, comme le programme ...

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, plutôt que de réelles, ...

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 différemment dans ...