Glossary entry (derived from question below)
English term or phrase:
extracted from an implementation
Persian (Farsi) translation:
مدل اقتباس شده از اجرا
Added to glossary by
Reza Mohammadi
Feb 10, 2020 12:16
4 yrs ago
10 viewers *
English term
extracted from an implementation
English to Persian (Farsi)
Tech/Engineering
Computers (general)
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.
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.
Proposed translations
(Persian (Farsi))
Change log
Feb 10, 2020 12:16: changed "Kudoz queue" from "In queue" to "Public"
Proposed translations
4 mins
Selected
مدل اقتباس شده از اجرا
/
4 KudoZ points awarded for this answer.
3 mins
برگرفته از اجرا/پیادهسازی
یا استخراجشده از اجرا/پیادهسازی
3 mins
استخراج شده از تکنیک اجرا شده
.
18 mins
مدل برگرفته شده از اجرا
.
20 mins
استخراجی از یک پیاده سازی/ اجرای عملی
به معنای یک را ترجمه کنیدAn دو نکته اینکه کلمه
و با اضافه کردن واژه ی عملی بر ماهیت عملی انچه که مدل از آن استخراج می شود تاکید کنید
و با اضافه کردن واژه ی عملی بر ماهیت عملی انچه که مدل از آن استخراج می شود تاکید کنید
2 hrs
مدلی که از اجرای کار استخراج شده است
مدلی که از اجرای کار استخراج شده است
19 hrs
بر گرفته از مدل های اجرا شده
Model extraction provides a means of automatically generating a model from an existing implementation
Reference:
Something went wrong...