![](/images/graphics-bg.png)
Quantitative Analysis of Software Approximate Correctness
المؤلف
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2015، العدد 2015 (31 ديسمبر/كانون الأول 2015)، ص ص. 1-13، 13ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-07-16
دولة النشر
مصر
عدد الصفحات
13
التخصصات الرئيسية
الملخص EN
Parameterized bisimulation provides an abstract description of software correctness.
In real world situations, however, many software products are approximately correct.
To characterize the approximate correctness, we generalize the parameterized bisimulation to numerical version and probabilistic setting.
First, we propose the definition of the parameterized bisimulation index that expresses the degree to which a binary relation is parameterized bisimulation.
Then, λ-parameterized bisimulation over environment e and itssubstitutivity laws are presented.
Finally, λ-parameterized probabilistic bisimulation is established to describe complicated software products with probabilistic phenomena.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Ma, Yanfang. 2015. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering،Vol. 2015, no. 2015, pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Ma, Yanfang. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering No. 2015 (2015), pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Ma, Yanfang. Quantitative Analysis of Software Approximate Correctness. Mathematical Problems in Engineering. 2015. Vol. 2015, no. 2015, pp.1-13.
https://search.emarefa.net/detail/BIM-1073112
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1073112
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)