کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6905769 | 862824 | 2014 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A heuristic solution for model checking graph transformation systems
ترجمه فارسی عنوان
یک راه حل اکتشافی برای مدل بررسی سیستم های تبدیل گراف
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
انفجار فضایی دولتی، چک کردن مدل، سیستم های تحول گراف الگوریتم ژنتیک،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نرم افزارهای علوم کامپیوتر
چکیده انگلیسی
- In software system development, modeling per-se without analysis capabilities is not enough.
- One of the best analysis solutions is model checking.
- The problem is that when state space is too large, model checking cannot be used.
- We suggest using genetic algorithm to avoid searching the entire state space.
- The experimental results of the approach are promising.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Soft Computing - Volume 24, November 2014, Pages 169-180
Journal: Applied Soft Computing - Volume 24, November 2014, Pages 169-180
نویسندگان
Rosa Yousefian, Vahid Rafe, Mohsen Rahmani,