Glossary entry (derived from question below)
French term or phrase:
exprimer des contraintes sur les transitions
English translation:
express [transition constraints|constraints on the transitions]
Added to glossary by
Louisa Tchaicha
Dec 28, 2012 15:15
11 yrs ago
1 viewer *
French term
exprimer des contraintes sur les transitions
French to English
Tech/Engineering
Computers: Software
calculateur de contrôle
Hello,
"L’association de contrainte en un point devient donc un cas particulier de l’association d’une contrainte à une transition. A l’inverse on pourrait aussi se placer dans le cas d’un langage ne permettant pas d’exprimer directement des contraintes sur les transitions (c’est la cas des langages actuels) et placer des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies) devant l’appel de l’instruction de manière à réduire indirectement sa sémantique utile, ..."
"exprimer des contraintes sur les transitions", it's not the "constraints or "transitions" part that are the problem but how to put them here :(
Thank you for your patience!
"L’association de contrainte en un point devient donc un cas particulier de l’association d’une contrainte à une transition. A l’inverse on pourrait aussi se placer dans le cas d’un langage ne permettant pas d’exprimer directement des contraintes sur les transitions (c’est la cas des langages actuels) et placer des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies) devant l’appel de l’instruction de manière à réduire indirectement sa sémantique utile, ..."
"exprimer des contraintes sur les transitions", it's not the "constraints or "transitions" part that are the problem but how to put them here :(
Thank you for your patience!
Proposed translations
(English)
Proposed translations
+1
11 mins
Selected
express [transition constraints|constraints on the transitions]
*
Note from asker:
Thank you |
Peer comment(s):
agree |
veratek
: to match the text, with "directly" in front of it
15 hrs
|
Thanks veratek. Yes, the "directly" is needed.
|
4 KudoZ points awarded for this answer.
Comment: "Many thanks :)"
6 hrs
where one cannot directly specify the constraints for (the) transitions
this is the type of constraint he or she is referring to:
des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies)
des contraintes (i.e. typiquement des invariants à choisir parmi une liste ou combinatoire de propriétés prédéfinies)
Note from asker:
Thank you |
+1
7 hrs
express constraints on transitions
Note from asker:
Thank you |
Peer comment(s):
agree |
cc in nyc
: fwiw, lots more ghits for "constraints on transitions" than "constraints for transitions"
3 hrs
|
thank you!
|
Discussion
In fact, it was intentional as I wanted to know whether "express contraints on transitions" was the correct wording, I hadn't forgotten the "directement" (which I translated by "directly")
===============
"ne permettant pas d’exprimer des contraintes sur les transitions" et "ne permettant pas d’exprimer directement des contraintes sur les transitions" are two very different things.