Exemples avec "du code source du programme et" et leurs traductions en anglais
Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.
par compilation du code source du programme et établissement de la liaison entre le programme compilé et au moins une annotation de spécification formelle extraite afin de créer un programme exécutable contenant au moins une référence à un module de spécification formelle exécutable
compiling the program source code and linking the compiled program and the at least one extracted formal specification annotation to create an executable program that includes at least one reference to an executable formal specification module
Autres résultats
Il donne des conseils sur la façon d'utiliser les fonctions et met en évidence différents éléments du code source du programme.
Mais la refactorisation peut être délicate et chronophage, car elle implique de réécrire des parties du code source, voire de réorganiser toute l'architecture du programme.
But refactoring can be tricky and time-consuming, as it entails to rewrite parts of the source code, and even to reorganize the program's whole architecture.
La transformation du code source peut être implémenté dans tous les langages de programmation, et elle rend également plus facile pour le compilateur l'optimisation du temps de compilation.
Source code transformation can be implemented for all programming languages, and it is also easier for the compiler to do compile time optimizations.
Il écrit automatiquement tout ce dont vous avez besoin dans le code source et enregistre le fichier dans le bon répertoire en fonction du type du programme.
It automatically writes everything you need to the source code and saves the file in the correct directory according to a program type.
Les fichiers que vous créez avec votre éditeur sont appelés fichiers source et contiennent du code source du programme.
La fonction de profilage de MetaEditor permet de vérifier les performances du code source du programme, ainsi que de détecter et d'optimiser les fonctions les plus lentes.
The MetaEditor's profiling function allows checking the program's source code performance, as well as detect and optimize the slowest functions.
Le maintien de copies actuelles du code source du programme, et des capacités de sauvegarde et de récupération des fichiers constituent des pratiques de sécurité éprouvées.
Audit principles like separation of duties, maintaining current copies of program source code, and providing for file backup and recovery, are time-tested security practices.
MetaEditor reconnaît différentes constructions du langage. Il fournit des suggestions sur la façon d'utiliser les fonctions et met en surbrillance différents éléments du code source du programme.
MetaEditor recognizes various patterns of the language, provides suggestions on how to use functions as well as it highlights various elements of the program's source code.
Les spécifications décrivent certaines caractéristiques d'un programme et doivent donc être distinguées du « code source » du programme, qui désigne le code informatique effectivement exécuté par l'ordinateur.
Specifications describe certain characteristics of a program and must therefore be distinguished from the program's 'source code', which designates the software code actually executed by the computer.
Le milieu affiche le code source du programme, et la partie supérieure est une interface graphique dédiée aux variables et objets du programme.
The middle subwindow shows the source for the program, and the upper subwindow provides a graphical interface to the variables and object of the program.
La présente invention réduit considérablement la période de développement du code source, facilite la maintenance d'un programme et garantit la fiabilité du code source codé.
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.