Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
software correctness
Examples with "software correctness" and their translation in Frans
He was elected to the National Academy of Engineering in 2005 for contributions to the formal verification of hardware and software correctness.
En 2005, il est élu membre de l'Académie nationale d'ingénierie des États-Unis pour ses contributions à la vérification formelle de la correction du logiciel et du matériel informatique.
"By proving software correctness, our tool is meant to prevent such accident,"says Inria researcher Nicolas Tabareau.
« En prouvant la correction des programmes, notre outil permet d'éviter ce genre d'accident », résume Nicolas Tabareau.
Andere resultaten
These techniques rely on mathematical models to proof the software's correctness and have been successfully applied to sequential programs.
Ces techniques reposent sur des modèles mathématiques qui permettent de prouver l'exactitude des logiciels et elles ont été appliquées avec succès à des programmes séquentiels.
Moreover, this gives guarantees of correctness to software components which use this approach, thereby simplifying the task of application testing considerably.
En plus, cela donne des garanties d'exactitude aux composants logiciels qui utilisent cette approche, ce qui simplifie considérablement la tâche de tester les applications.
We show that; thanks to manipulation capabilities and execution control, we can master the modification of fault tolerance software and ensure correctness properties.
Ces travaux montrent que, grâce aux capacités de manipulation et de contrôle en ligne du logiciel, la modification des mécanismes de tolérance aux fautes peut être réalisée en ligne de manière maîtrisée.
The goal of the MARELLE project-team is to study and use techniques for verifying mathematical proofs on the computer to ensure the correctness of software.
Présentation de l'équipe L'objectif de l'équipe-projet MARELLE est d'étudier les techniques de vérification de démonstration sur ordinateur pour assurer la correction de logiciel.
We are the largest contributor to Haskell, the language to create the software of correctness-critical industries like computer-assisted medical advice and blockchain infrastructure tracking the ledgers of billions of humans.
Nous sommes les premiers contributeurs à Haskell, le langage permettant d'implémenter les logiciels des industries où la correction des données est critique telles que la personnalisation de traitements médicaux ou l'infrastructure blockchain qui demain stockera les comptes de milliards de personnes.
Followed correctly, this method presents the information prominently enough to comply with the relevant conditions in the GNU software licenses, and it's specific enough that software can confirm the correctness of the information on a site.
Si elle est suivie correctement, cette méthode présente ces informations de manière assez visible pour respecter les clauses pertinentes des licences de logiciel GNU, et elle est assez spécifique pour qu'un logiciel puisse en confirmer l'exactitude.
The explosion of capabilities and new products within the sphere of information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software.
Problemes et solutions potentielles dans le developpement de nouvelles possibilités et des produits nouveaux offerts dans le domaine des technologies de l'information a favorisé des opinions répandues et excessivement optimistes reposant sur des hypothèses courantes mais injustifiées sur la qualité et la correction du logiciel.
The software analyzes texts for syntactic correctness and overall clarity.
Le logiciel analyse les textes pour vérifier leur correction syntaxique et leur clarté globale.
The same applies to the correctness or completeness of any documentation enclosed with the software.
La même chose s'applique à l'exactitude ou l'exhaustivité de tout document qui accompagne le logiciel.
One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.
Pour grandement accroître la confiance dans un logiciel numérique, une possibilité est de vérifier formellement sa preuve de correction.
Further, no guarantee whatsoever is made about the correctness of any information or software contained on this website.
Par ailleurs, aucune garantie n'est fournie quant à la correction des informations ou des programmes fournis sur ce site Web.
Synoniemen voor software correctness in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 86. Exact: 2. Verstreken tijd: 270 ms.
