Publications scientifiques

A theorem proving approach for verification of reactive concurrent programs... We

define specifications

for concurrent programs by formalizing a notion of refinements analogous to stuttering trace containment.
...
général - core.ac.uk - PDF: citeseerx.ist.psu.edu
Specifying compositional units for correct program development... In our previous work, we have shown how to define specifications and program correctness for open logic programs....
général - core.ac.uk - PDF: citeseerx.ist.psu.edu

Exemples anglais - français

Traductions en contexte anglais - français

Define specifications

, negotiate contracts and manage the collaboration with CMOs and third parties.

Définir les cahiers des charges, négocier les contrats et gérer ensuite la collaboration avec les CMO & Third Parties.

général - CCMatrix (Wikipedia + CommonCrawl)
The system includes an order entry configuration for obtaining option values that define specifications for the end item and lower-level configurable items.

Ce système comprend une configuration d'introduction d'ordres, permettant d'obtenir des valeurs d'options qui définissent des spécifications pour l'article final et les articles configurables à un niveau inférieur.

informatique et traitement des données - wipo.int
This tool is useful to define specifications, to map stakeholders and analyse total cost of ownership.

Cet outil est utile pour définir les spécifications, cartographier les acteurs et analyser le coût total de possession.

général - CCMatrix (Wikipedia + CommonCrawl)
It is possible to define specifications or run the results somewhere else that on the production site.

Il est possible de définir les cahiers des charges ou d’exploiter les résultats ailleurs que sur le site de production.

général - CCMatrix (Wikipedia + CommonCrawl)
eu-LISA will define the detailed test specifications.

L'eu-LISA définira les spécifications détaillées des essais.

général - eur-lex.europa.eu
The detailed IT specifications shall define appropriate percentages for

Les spécifications informatiques détaillées doivent définir des pourcentages appropriés pour

général - eur-lex.europa.eu
The Commission shall define the detailed specifications of the tests.

La Commission définit les spécifications détaillées des essais.

général - eur-lex.europa.eu
The Commission shall define the detailed specifications of the tests.

La Commission définit les spécifications détaillées des essais.

général - eur-lex.europa.eu
The Detailed Technical Specifications (DTS) prepared by eu-LISA define the functional and non-functional specifications of the C.SIS II.

Les spécifications techniques détaillées (STD) élaborées par l'eu-LISA définissent les spécifications fonctionnelles et non fonctionnelles du C.SIS II.

technologie et réglementation technique - eur-lex.europa.eu
Establish specifications to clearly define your needs and define a budget.

Établir un cahier des charges pour bien cerner vos besoins et définir un budget.

général - CCMatrix (Wikipedia + CommonCrawl)
The Zhaga specifications only define the interfaces.

Les spécifications Java ne définissent que des interfaces.

général - CCMatrix (Wikipedia + CommonCrawl)
We define the User Requirement Specifications (URS);

· Spécification des exigences utilisateur (URS)

général - CCMatrix (Wikipedia + CommonCrawl)
All of this helps define performance specifications.

L’ensemble de ces éléments permet de définir les spécifications fonctionnelles.

général - CCMatrix (Wikipedia + CommonCrawl)
Define, document and translate business requirements into detailed functional specifications and non-functional specifications.

Définir, documenter et transposer les exigences d’affaires en spécifications fonctionnelles détaillées en tenant compte des exigences non fonctionnelles.

général - CCMatrix (Wikipedia + CommonCrawl)
Define interaction models, user flows, and UI specifications

Définition des modèles d'interaction, des flux de tâches utilisateur et des spécifications de l'interface utilisateur

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


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