ترجمه فارسی عنوان مقاله
جستجو برای نقض خواص ایمنی و زندگی با استفاده از کشف دانش در سیستم های پیچیده مشخص شده از طریق تحولات گراف
عنوان انگلیسی
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
| کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
|---|---|---|
| 93209 | 2018 | 25 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Information and Software Technology, Volume 97, May 2018, Pages 110-134
ترجمه کلمات کلیدی
داده کاوی، شبکه بیزی، چک کردن مدل، انفجار فضایی دولتی، سیستم تحول گراف
کلمات کلیدی انگلیسی
Data mining; Bayesian network; Model checking; State space explosion; Graph transformation system;
ترجمه چکیده
نتایج تجربی بر روی مجموعه های مختلف معیارها نشان می دهد که روش های پیشنهادی سریع تر و دقیق تر از روش های موجود متا اکتیویتی و تکاملی در بررسی مدل سیستم های نرم افزاری پیچیده مشخص شده از طریق تحولات گراف هستند.
پیش نمایش مقاله
