Nouveau : Traduire du texte avec ChatDico – 172 langues

Dictionnaire français - anglais

validité de programmes

program correctness

informatique et traitement des données - iate.europa.eu

▷

▷

What can we expect from program verification?This note briefly discusses the relationship between program correctness and satisfaction of system requirements....

général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Specifying compositional units for correct program development... In order to provide a formalism for defining program correctness and to reason about program development in Computational Logic, we believe that it is better to distinguish between specifications and programs....

PDF: citeseerx.ist.psu.edu

Verication and synthesis of addition programs under the rulesof statement correctnessDeductive verication and synthesis of binary addition programs are performed onthe base of the rules of program correctness for statements of the predicate programmingP language....

Understandable mental manageability cryptic... But what is correctness? Program correctness is always relative to something else....

PDF: citeseerx.ist.psu.edu

Studying program correctness by constructing contractsBecause the concept of program correctness is generally taught as an activity independent of the programming process, most introductory computer science (CS) students perceive it as unnecessary and ...

PDF: citeseerx.ist.psu.edu

Synonymes et termes associés français

validité

•

validité scientifique

•

Validité

•

VALIDITÉ

Exemples français - anglais

validité indéterminée

indefinite validity

information et traitement de l'information - acta.es

validité totale

open effectivity

transport terrestre / transports - iate.europa.eu

open-ended effectivity

transport terrestre / transports - iate.europa.eu

validité ouverte

open effectivity

transport terrestre / transports - iate.europa.eu

open-ended effectivity

transport terrestre / transports - iate.europa.eu

[...]

validité avion

aircraft effectivity

validité apparente

validité scientifique

scientific validity

validité

scientific validity

validité variable

variable validity

validité interne

internal validity

validité juridique

validité restreinte

split effectivity

validité formelle

formal validity

validity as to form

validité quant à la forme

formal validity

validity as to form

validité au fond

material validity

essential validity

substantive validity

validité matérielle

material validity

essential validity

substantive validity

validité documentaire

quality of being worthy of documentation

validité limitée

limited validity

programmes d'amélioration

improvement programmes

Autres programmes

Other programmes

programmes intégrés

integrated programmes

programmes individuels

individual programmes

programmes (GAP)

programmes régionaux

are for regional programmes

programmes généraux

general programmes

programmes géographiques

geographic programmes

programmes compensatoires

compensatory programmes

programmes nutritionnels

nutrition programmes

Programmes d'aides

Grant Programmes

programmes d'aides

Grant Programmes

Grant programmes

Traductions en contexte français - anglais

La sémantique axiomatique est définie en conjonction avec une méthode de preuve de validité de programmes.

Axiomatic semantics was defined in conjunction with the development of an approach to proving the correctness of programs.

général - CCMatrix (Wikipedia + CommonCrawl)

1 milliard de traductions classées par domaine d'activité en 28 langues

Nouveau : Traduire du texte avec ChatDico – 172 langues

Requêtes fréquentes français :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Requêtes fréquentes anglais :1-200, -1k, -2k, -3k, -4k, -5k, -7k, -10k, -20k, -40k, -100k, -200k, -500k, -1000k,

Traduction Translation Traducción Übersetzung Tradução Traduzione Traducere Vertaling Tłumaczenie Mετάφραση Oversættelse Översättning Käännös Aistriúchán Traduzzjoni Prevajanje Vertimas Tõlge Preklad Fordítás Tulkojumi Превод Překlad Prijevod 翻訳 번역 翻译 Перевод