ترجمه فارسی عنوان مقاله
تولید خودکار مانیتورهای پیش بینی از مشخصات مبتنی بر سناریو
عنوان انگلیسی
Automatic generation of predictive monitors from scenario-based specifications
| کد مقاله | سال انتشار | تعداد صفحات مقاله انگلیسی |
|---|---|---|
| 120233 | 2018 | 35 صفحه PDF |
منبع
Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)
Journal : Information and Software Technology, Volume 98, June 2018, Pages 5-31
ترجمه کلمات کلیدی
مشخصات مبتنی بر سناریو، نمودار پیوند املاک، مانیتور زمان اجرا، مانیتور پیش بینی،
کلمات کلیدی انگلیسی
Scenario-based specifications; Property sequence charts; Run-time monitor; Predictive monitor;
ترجمه چکیده
رویکرد کلی پشتیبانی ابزار است و آزمایش های بزرگی نشان می دهد امکان و قابلیت استفاده آن.
پیش نمایش مقاله
