method and system for generating software code using a symbolic language translator
technique et système permettant de générer un code logiciel au moyen d'un traducteur de langage symbolique
The invention concerns model program analysis of software code using model checking.
L'invention concerne une analyse de programme modèle de code logiciel au moyen d'une vérification de modèle.
method and apparatus for performing compiler transformation of software code using fastforward regions and value specialization
procédé et appareil permettant d'effectuer une transformation de compilateur de code de logiciel, en faisant appel à des zones d'avance rapide et à une spécialisation de valeur
Outros resultados
In practice, this means that it is not possible to distribute a proprietary software incorporating code using such a licence.
En pratique, cela signifie qu'il n'est pas possible de diffuser un logiciel propriétaire incorporant du code utilisant une telle licence.
Adobe issued updates for all impacted products to provide customers with software code signed using a new digital certificate.
Adobe a distribué des mises à jour pour tous les produits affectés afin de fournir à ses clients un code de logiciel signé via un nouveau certificat numérique.
1 In this context, "build" means "a process generating a deliverable software application from source code using automation tools".
1 Dans ce contexte, "construction" indique "un processus qui génère un livrable applicatif à partir de code source en utilisant des outils d'automatisation".
Programmatically control HPE storage with minimal code using Software Development Kits (SDKs) tailored to your programming language.
Contrôlez le stockage HPE de manière programmatique avec un code minimal en utilisant les kits de développement logiciel (SDK) adaptés à votre langage de programmation.
The software enables scanning bar codes using scanners connected to the computer by RS232.
Les lecteurs de code-barres sont connectés à l'ordinateur par le port RS232. EER02 - Tableau universel
The code of software using these licences can be incorporated into proprietary software or free software with copyleft.
Le code des logiciels utilisant ces licences peut donc être intégré dans du logiciel propriétaire ou du Logiciel Libre avec copyleft.
Anyone who wishes to add or make modification to the software for their specific needs can make changes or develop their own software using source code as a reference.
Toute personne souhaitant ajouter ou apporter des modifications au logiciel pour répondre à leurs besoins spécifiques, peut le faire, et peut aussi développer leur propre logiciel en utilisant le code source comme référence.
AUTOSAR Perspective Map and configure software components by using Code Mapping Editor and AUTOSAR Dictionary
The pattern is generated using various portions of the software code.
Cette configuration est générée par l'utilisation de diverses parties du code du logiciel.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.