کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6948181 1450740 2018 23 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
RINGA: Design and verification of finite state machine for self-adaptive software at runtime
ترجمه فارسی عنوان
رینگا: طراحی و تایید دستگاه دولتی محدود برای نرم افزار خود سازگار در زمان اجرا
کلمات کلیدی
نرم افزار خود سازگار، چک کردن مدل، دستگاه دولتی محدود زمان اجرا،
ترجمه چکیده
ما یک چارچوب برای یکپارچه سازی مدل چک کردن با یک چرخه زندگی نرم افزاری خود سازگار پیشنهاد کردیم. نتایج آزمایشات ما نشان داد که چارچوب پیشنهاد شده می تواند نرم افزار خود سازگاری را در زمان اجرا به دست آورد.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر تعامل انسان و کامپیوتر
چکیده انگلیسی
We proposed a framework for integrating model checking with a self-adaptive software lifecycle. The results of our experiments showed that the proposed framework can achieve verify self-adaptation software at runtime.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Software Technology - Volume 93, January 2018, Pages 200-222
نویسندگان
, , , , ,