Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
code correctness
Tradução de "code correctness" em francês
exactitude du code
The main drawback of producing certificates ensuring source code correctness is that they do not entail correctness of the final compiled code.
Le principal inconvénient de produire des certificats pour assurer l'exactitude du code source est que les preuves ne comportent pas la correction du code compilé.
Visual Studio 2010 SP1 fixes issues with stability of the compiler and code correctness for generated code.
Visual Studio 2010 SP1 résout les problèmes relatifs à la stabilité du compilateur et de l'exactitude du code pour le code généré.
Learn to prove code correctness, review and understand verification results, handle missing functions and data, measure software quality metrics, and apply MISRA C rules. Details and enroll Recommended Basic Courses
Apprenez à prouver l'exactitude du code, examiner et comprendre les résultats de la vérification, gérer les fonctions et les données manquantes, mesurer la qualité logicielle et appliquer des règles MISRA C. Détails et inscription
This course discusses the use of Polyspace Code Prover to prove code correctness, improve software quality metrics, and ensure product integrity.
Cette formation explique comment utiliser Polyspace Code Prover pour prouver l'exactitude du code, améliorer les métriques de qualité du logiciel et garantir l'intégrité du produit.
It is designed to provide the safety and code correctness required for assets and other high-value use cases.
Il est conçu pour fournir la sécurité et la correction de code requises pour les actifs et d'autres cas d'utilisation de grande valeur.
Nevertheless, static typing is no vademecum for code correctness: it needs at least the company of unit testing as well as a carefully prepared mental model.
Néanmoins, le typage statique n'est pas un vademecum pour le code correct: il a besoin au moins de tests unitaires aussi bien que d'un modèle mental concocté avec précaution.
In an example embodiment, a web-based automatic code correctness checking tool is provided for distance learning.
Dans un mode de réalisation, un outil de vérification automatique de l'exactitude des codes, accessible sur le Web, sert à l'apprentissage à distance.
The project is known for its developers' insistence on open-source code, good documentation, code correctness, and security.
Le projet OpenBSD est réputé pour son intransigeance sur la liberté du logiciel et du code source, la qualité de sa documentation, et l'importance accordée à la sécurité et la cryptographie intégrée.
Scan and analyze database objects and PL/SQL files for code correctness in the Code Analysis window.
La fenêtre Code Analysis permet d'analyser les objets de base de données et les fichiers PL/SQL pour vérifier l'exactitude du code.
A general expression of the codes and a systematic criterion for proving code correctness and finding decoding algorithms are described.
On décrit une expression générale des codes ainsi qu'un critère systématique pour prouver l'exactitude et trouver les algorithmes de décodage pour des valeurs de m>=3.
Sinônimos e analogias para "code correctness" em inglês
Palavra e Expressão do Dia
Imagem do dia
Sugestões que contenham code correctness
Resultados: 10. Exatos: 10. Tempo de resposta: 33 ms.
