Glossary entry (derived from question below)
French term or phrase:
mise en relation
English translation:
association
Added to glossary by
Louisa Tchaicha
Dec 25, 2012 16:56
11 yrs ago
12 viewers *
French term
Tunisia
mise en relation
French to English
Tech/Engineering
Computers: Software
calculateur de contrôle
Hi,
"Preuve par mise en relation ou composition de deux programmes" (this ois a headin)
and another instance of "mise en relation"
"Nous obtenons deux « obligations de preuve », l’une exprimant que l’invariant est satisfait lors de l’entrée dans la boucle, et l’autre exprimant la conservation de l’invariant. Nous pouvons transformer les chemins en « obligations de preuves » et passer par des preuves logiques classiques. Mais nous pouvons aussi instancier et mettre deux programmes en relation (axiome et théorème)."
Thank you for your insight!
"Preuve par mise en relation ou composition de deux programmes" (this ois a headin)
and another instance of "mise en relation"
"Nous obtenons deux « obligations de preuve », l’une exprimant que l’invariant est satisfait lors de l’entrée dans la boucle, et l’autre exprimant la conservation de l’invariant. Nous pouvons transformer les chemins en « obligations de preuves » et passer par des preuves logiques classiques. Mais nous pouvons aussi instancier et mettre deux programmes en relation (axiome et théorème)."
Thank you for your insight!
Proposed translations
(English)
| 3 | association |
cc in nyc
|
| 3 | relating |
narasimha (X)
|
| 3 | interlinking |
Shaun Baggott
|
Proposed translations
10 hrs
Selected
association
Maybe?
Then perhaps:
preuve par mise en relation : proof by association ?
mettre deux programmes en relation : associate two programs ?
I'm not sure, but take a look at these:
"If passed to the appropriate variant of java.beans.Beans.instantiate this method will be called in order to associate the newly instantiated Applet (JavaBean) with its AppletContext, AppletStub, and Container."
http://docs.oracle.com/javase/6/docs/api/java/beans/AppletIn...
"Instantiate and associate DynamicSecurityPolicy with StaticPolicyContext"
http://docs.oracle.com/cd/E17802_01/webservices/webservices/...
"For example, you add the following code to the constructor of the Customer business object to instantiate and associate the CustomerRule object with it."
http://books.google.com/books?id=wX8tY_jRXHQC&pg=PA247&lpg=P...
Then perhaps:
preuve par mise en relation : proof by association ?
mettre deux programmes en relation : associate two programs ?
I'm not sure, but take a look at these:
"If passed to the appropriate variant of java.beans.Beans.instantiate this method will be called in order to associate the newly instantiated Applet (JavaBean) with its AppletContext, AppletStub, and Container."
http://docs.oracle.com/javase/6/docs/api/java/beans/AppletIn...
"Instantiate and associate DynamicSecurityPolicy with StaticPolicyContext"
http://docs.oracle.com/cd/E17802_01/webservices/webservices/...
"For example, you add the following code to the constructor of the Customer business object to instantiate and associate the CustomerRule object with it."
http://books.google.com/books?id=wX8tY_jRXHQC&pg=PA247&lpg=P...
Note from asker:
| Thank you |
4 KudoZ points awarded for this answer.
Comment: "Thank you!"
11 mins
relating
relating to or composition of program
Note from asker:
| Thank you |
1 day 3 hrs
Shaun Baggott
United States
United States
Native in English
United States
Legal, Medical & Engineering Translation
Native in: English
Works in: French to English, English
interlinking
I found this translation on glosbe.com.
Also, see link below for Swiss document.
--------------------------------------------------
Note added at 2 days4 hrs (2012-12-27 21:37:08 GMT)
--------------------------------------------------
Again, I could not find and English translation of the Swiss doc. The www.glosbe.com search for "mise en relation" gives a page of French text side-by-side with English translations. The fifth entry is the one I referenced. Hope this helps, cc in nyc.
Also, see link below for Swiss document.
--------------------------------------------------
Note added at 2 days4 hrs (2012-12-27 21:37:08 GMT)
--------------------------------------------------
Again, I could not find and English translation of the Swiss doc. The www.glosbe.com search for "mise en relation" gives a page of French text side-by-side with English translations. The fifth entry is the one I referenced. Hope this helps, cc in nyc.
Reference:
Peer comment(s):
| neutral |
cc in nyc
: Can you supply a link to the EN version of the Swiss document? Also, what's the context for "interlinking" on globe? Could you post the link for that as well? // got "matchmaking" for "mise en relation" :-( http://glosbe.com/fr/en/mise en relation
7 hrs
|
|
On www.glosbe.com, just search for "mise en relation." The translation I saw was a bit down the page. I could not find an English translation of the Swiss doc, but the Italian is at http://www.admin.ch/ch/i/as/2008/2229.pdf. They used "connections."
|
Something went wrong...