Vertaling van "validated computer program " (Engels → Frans) :

TERMINOLOGIE

software [ computer programme | computer programming | software development | software engineering | software industry | software package | computer programs(UNBIS) | software engineering(UNBIS) ]
logiciel [ développement informatique | développement logiciel | génie logiciel | industrie du logiciel | progiciel | programmation informatique | programme d'ordinateur | software ]

programmed learning [ computer-aided learning | computer-assisted learning | computerised teaching | teaching by computer | programmed instruction(UNBIS) ]
enseignement automatisé [ enseignement assisté par ordinateur | enseignement par ordinateur | enseignement programmé ]

ECAP computer program | electrical circuit analysis computer program
programme de calculateur ECAP

use computer programme to improve patient's skills | utilise computer-based programmes to improve patients' abilities | use computer programs to improve patients' skills | use IT programmes to improve patients' skills
utiliser des programmes informatiques pour améliorer les aptitudes des patients

computer program | program
programme d'ordinateur | programme informatique

computer-aided instruction | CAI,the application usually involves a dialog between the student and a computer program which informs the student of mistakes as they are made [Abbr.]
enseignement assisté par ordinateur | EAO,d'une façon générale,l'étudiant utilise l'ordinateur en mode conversationnel,un programme particulier l'informant,le cas échéant,des erreurs qu'il commet [Abbr.]

specialised astrology computer programs | specialized astrology software | specialised astrology software | specialised software for astrology
logiciels d’astrologie spécialisés

Python prog | Python2 | Python (computer programming) | Python3000
Python prog | Python2 | Python | Python3000

copyright protection for computer programs [ copyright protection of computer programmes ]
protection des logiciels par le droit d'auteur

programming language [ computer language | machine language ]
langage de programmation [ langage assembleur | langage évolué ]

IN-CONTEXT TRANSLATIONS

If the system can also produce cooling then the solar gain of the building shall be calculated in accordance with national practice or using a validated computer program.
Si le système permet également le rafraîchissement des locaux, l’apport solaire dans le bâtiment doit être calculé conformément aux pratiques nationales ou à l’aide d’un programme informatique validé.

The heat loss of the building shall be calculated in accordance with national practice or using a suitable validated computer program based on EN 832, the Euronorm for calculating heat loss.
La déperdition thermique dans le bâtiment doit être calculée conformément aux pratiques nationales ou à l’aide d’un programme informatique adéquat validé, fondé sur la norme européenne EN 832 relative au calcul des déperditions thermiques.

On claims to computer programs on a carrier, where such programs implement a patented invention, the Commission can accept any solution between the common position and the Commission’s original proposal, including alternative formulations to achieve the same objective of enforcing valid patents.
Au sujet des revendications concernant les programmes informatiques sur support, dans le cas où ces programmes mettraient en œuvre une invention brevetée, la Commission peut accepter toute solution comprise entre la position commune et la proposition initiale de la Commission, notamment des formulations alternatives visant le même objectif de respect des brevets valides.

– Embedded systems, computing and control: more powerful, secure, distributed, reliable and efficient hardware/software systems that can perceive, control and adapt to their environment while optimising the use of resources; methods and tools for system modelling, analysis, design, engineering and validation to master complexity; open composable architectures and scale-free platforms, middleware and distributed operating systems to enable truly seamless collaborative and ambient intelligent environments for sensing, actuation, computing, communication, storage, and service delivery; computing architectures incorporating heterogeneous, networked and reconfigurable components including compilation, programming and run-time support; control of large-scale, distributed, uncertain systems, high-performance computing (hardware and software) .
– Systèmes enfouis, calcul et contrôle: systèmes matériels/logiciels plus puissants, sûrs, distribués, fiables et efficaces, capables de percevoir et contrôler leur environnement et s'y adapter, tout en optimisant l'utilisation de ressources; méthodes et outils de modélisation, d'analyse, de conception, d'ingénierie et de validation de systèmes visant à maîtriser la complexité; architectures composables ouvertes et plateformes sans échelle, logiciels des couches intermédiaires (middleware) et systèmes d'exploitation distribués permettant la création d'environnements collaboratifs et à intelligence ambiante véritablement transparents, pour la détection, l'actionnement, le calcul, la communication, le stockage et la fourniture de service; architectures de calcul intégrant des composants hétérogènes, en réseau et reconfigurables incluant la compilation, la programmation et le support d'exécution; contrôle de systèmes indéterminés, distribués, à grande échelle, calcul de haute performance (matériel et logiciel) .

– Embedded systems, computing and control: more powerful, secure, distributed, reliable and efficient hardware/software systems that can perceive, control and adapt to their environment while optimising the use of resources; methods and tools for system modelling, analysis, design, engineering and validation to master complexity; open composable architectures and scale-free platforms, middleware and distributed operating systems to enable truly seamless collaborative and ambient intelligent environments for sensing, actuation, computing, communication, storage, and service delivery; computing architectures incorporating heterogeneous, networked and reconfigurable components including compilation, programming and run-time support; control of large-scale, distributed, uncertain systems, high-performance computing (hardware and software).
– Systèmes enfouis, calcul et contrôle: systèmes matériels/logiciels plus puissants, sûrs, distribués, fiables et efficaces, capables de percevoir et contrôler leur environnement et s’y adapter, tout en optimisant l’utilisation de ressources; méthodes et outils de modélisation, d'analyse, de conception, d’ingénierie et de validation de systèmes visant à maîtriser la complexité; architectures composables ouvertes et plateformes sans échelle, logiciels des couches intermédiaires (middleware) et systèmes d’exploitation distribués permettant la création d’environnements collaboratifs et à intelligence ambiante véritablement transparents, pour la détection, l’actionnement, le calcul, la communication, le stockage et la fourniture de service; architectures de calcul intégrant des composants hétérogènes, en réseau et reconfigurables incluant la compilation, la programmation et le support d’exécution; contrôle de systèmes indéterminés, distribués, à grande échelle, calcul de haute performance (matériel et logiciel).