programme de mise au point comprenant la corrélation d'un code source de programme informatique et d'un code résultant optimalisé
debugger program which includes correlation of computer program source code with optimized objet code
la présente invention se rapporte à un procédé et à un système pour le formatage automatique de changements dans un code source de programme informatique stocké dans un dépôt d'archives de code
a method and system is provided for auto formatting changes to computer program source code stored in a code repository
système informatique, procédé pour convertir un code source de programme informatique, support d'enregistrement lisible par un ordinateur et élément de programme informatique
computer system method for translating a computer programme source code computer readable storage medium and computer programme element
la vérification d'un programme peut être automatisée par réception d'un fichier source de programme contenant un code source de programme et au moins une annotation de spécification formelle
verification of a software program may be automated by receiving a program source file comprising program source code and at least one formal specification annotation
Le jeu de différences produit par « diff » peut être utilisé pour distribuer des mises à jour de fichiers textes (tel qu'un code source de programme) à d'autres personnes.
The set of differences produced by 'diff' can be used to distribute updates to text files (such as program source code) to other people.
Il peut s'agir de données textuelles (par exemple un document codé dans un format texte), de données binaires (par exemple une image ou un son), d'un code source de programme, d'un code exécutable, etc.
This might include text data (e.g. a document encoded in text format), binary data (such as an image or a sound), program source code, executable code, and so forth.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
