This site uses cookies. Some of these cookies are essential to the operation of the site, while others help to improve your experience by providing insights into how the site is being used. For more information, please see the ProZ.com privacy policy.
Cookie settings
  1. KudoZ™ Top
  2. English to Arabic
  3. Computers: Systems, Networks

Graph Scenario

Arabic translation: مخطط السيناريوهات

GLOSSARY ENTRY (DERIVED FROM QUESTION BELOW)
English term or phrase:Graph Scenario
Arabic translation:مخطط السيناريوهات
Entered by: Duaa Orabi

05:15 Apr 9, 2012
English to Arabic translations [PRO]
Computers: Systems, Networks
English term or phrase: Graph Scenario
Model checking is a technique for determining whether a formal model of a system
satisfies a given property. If the property is false in the model, model checkers typically
produce a single counterexample. The developer uses this counterexample to revise the
model (or the property), which often means fixing a bug in the design of the system.
The developer then iterates through the process, rechecking the revised model against
the (possibly revised) property.
Sometimes, however, we would like all counterexamples, not just one. Rather than
produce one example of how the model does not satisfy a given property, why not produce
all of them at once? We call the set of all counterexamples a ((scenario graph)).
Duaa Orabi
Jordan
Local time: 16:23
مخطط السيناريوهات
Explanation:
"مخطط السيناريوهات" أو "مخطط سيناريوهات الأخطاء" هو مخطط يوضح جميع الأخطاء الممكنة أو المحتملة التي قد تؤدي إلى تعرض النظام أو الشبكة للهجوم أو التوقف أو الانهيار... إلخ. يستخدم البرمجيون والمحللون هذه المخططات لبيان ما قد يواجهونه من أخطاء في هذه النظم، ومن ثم معالجتها مرة واحدة، بدلاً من معالجة كل خطأ بشكل مستقل، وهو ما يسمى "model checking".

--------------------------------------------------
Note added at 1 hr (2012-04-09 06:19:58 GMT)
--------------------------------------------------

العفو يا دعاء. صباح الخير عليكي ويوم موفق إن شاء الله.
Selected response from:

Ahmad Hassaballa
Türkiye
Local time: 16:23
Grading comment
4 KudoZ points were awarded for this answer



Summary of answers provided
4مخطط السيناريوهات
Ahmad Hassaballa


  

Answers


47 mins   confidence: Answerer confidence 4/5Answerer confidence 4/5
graph scenario
مخطط السيناريوهات


Explanation:
"مخطط السيناريوهات" أو "مخطط سيناريوهات الأخطاء" هو مخطط يوضح جميع الأخطاء الممكنة أو المحتملة التي قد تؤدي إلى تعرض النظام أو الشبكة للهجوم أو التوقف أو الانهيار... إلخ. يستخدم البرمجيون والمحللون هذه المخططات لبيان ما قد يواجهونه من أخطاء في هذه النظم، ومن ثم معالجتها مرة واحدة، بدلاً من معالجة كل خطأ بشكل مستقل، وهو ما يسمى "model checking".

--------------------------------------------------
Note added at 1 hr (2012-04-09 06:19:58 GMT)
--------------------------------------------------

العفو يا دعاء. صباح الخير عليكي ويوم موفق إن شاء الله.


    Reference: http://me317.stanford.edu/twiki/bin/view/Main/ME317CourseCon...
    Reference: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=442035...
Ahmad Hassaballa
Türkiye
Local time: 16:23
Works in field
Native speaker of: Native in ArabicArabic
PRO pts in category: 8
Notes to answerer
Asker: لك جزيل الشكر أستاذ أحمد

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.

Return to KudoZ list

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:
ProZ.com term search
Search millions of term translations
Close search
Term search
  • All of ProZ.com
  • Term search
  • Jobs
  • Forums
  • Multiple search