extracted from an implementation

Persian (Farsi) translation: مدل اقتباس شده از اجرا

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:extracted from an implementation
Persian (Farsi) translation:مدل اقتباس شده از اجرا
Entered by: Reza Mohammadi

12:16 Feb 10, 2020
English to Persian (Farsi) translations [PRO]
Tech/Engineering - Computers (general)
English term or phrase: extracted from an implementation
In comparison, formal verification techniques such as
model checking build a mathematically sound proof for the
correctness of a design. In general they do not scale nearly
as well as testing, and can only be applied to a system design
or a model extracted from an implementation.
Reza Mohammadi
Iran
Local time: 03:41
مدل اقتباس شده از اجرا
Explanation:
/
Selected response from:

zahra razavi
Local time: 08:11
Grading comment
4 KudoZ points were awarded for this answer



Summary of answers provided
5برگرفته از اجرا/پیاده‌سازی
Zeynab Tajik
5استخراج شده از تکنیک اجرا شده
Hamidreza Ghobadi Rad
5مدل اقتباس شده از اجرا
zahra razavi
5مدل برگرفته شده از اجرا
Marzieh Izadi
5استخراجی از یک پیاده سازی/ اجرای عملی
Sina Salehi
5مدلی که از اجرای کار استخراج شده است
Ali Sharifi
5بر گرفته از مدل های اجرا شده
Pouya Majidi


  

Answers


3 mins   confidence: Answerer confidence 5/5
برگرفته از اجرا/پیاده‌سازی


Explanation:
یا استخراج‌شده از اجرا/پیاده‌سازی

Zeynab Tajik
Spain
Local time: 02:11
Works in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 104
Login to enter a peer comment (or grade)

3 mins   confidence: Answerer confidence 5/5
استخراج شده از تکنیک اجرا شده


Explanation:
.

Hamidreza Ghobadi Rad
Works in field
Native speaker of: Persian (Farsi)
PRO pts in category: 48
Login to enter a peer comment (or grade)

4 mins   confidence: Answerer confidence 5/5
مدل اقتباس شده از اجرا


Explanation:
/

zahra razavi
Local time: 08:11
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 8
Login to enter a peer comment (or grade)

18 mins   confidence: Answerer confidence 5/5
مدل برگرفته شده از اجرا


Explanation:
.

Marzieh Izadi
Local time: 02:11
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 48
Login to enter a peer comment (or grade)

20 mins   confidence: Answerer confidence 5/5
استخراجی از یک پیاده سازی/ اجرای عملی


Explanation:
به معنای یک را ترجمه کنیدAn دو نکته اینکه کلمه
و با اضافه کردن واژه ی عملی بر ماهیت عملی انچه که مدل از آن استخراج می شود تاکید کنید

Sina Salehi
Germany
Local time: 02:11
Works in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 168
Login to enter a peer comment (or grade)

2 hrs   confidence: Answerer confidence 5/5
مدلی که از اجرای کار استخراج شده است


Explanation:
مدلی که از اجرای کار استخراج شده است

Ali Sharifi
United States
Local time: 20:11
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
PRO pts in category: 16
Login to enter a peer comment (or grade)

19 hrs   confidence: Answerer confidence 5/5
بر گرفته از مدل های اجرا شده


Explanation:
Model extraction provides a means of automatically generating a model from an existing implementation


    https://ieeexplore.ieee.org/document/6778557
Pouya Majidi
Iran
Local time: 03:41
Works in field
Native speaker of: Native in Persian (Farsi)Persian (Farsi)
Login to enter a peer comment (or grade)



Login or register (free and only takes a few minutes) to participate in this question.

You will also have access to many other tools and opportunities designed for those who have language-related jobs (or are passionate about them). Participation is free and the site has a strict confidentiality policy.

KudoZ™ translation help

The KudoZ network provides a framework for translators and others to assist each other with translations or explanations of terms and short phrases.


See also:
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search