وزارة التعليم العالي و البحث العلمي

Ministry of Higher Education and Scientific Research

جاري تحميل اخر الاخبار ...

2019/04/18 | 11:44:23 صباحاً | : 109

فريق بحثي من قسم علوم الحاسوب في كلية العلوم ينشر بحثا علميا في مجلة رصينة

 نشر فريق بحثي مؤلف من   م.د. عباس عبد العزيز عبد المجيد  التدريسي  في قسم علوم الحاسوب في كلية العلوم الجامعة المستنصرية و م.د. علاء عبد الحسين التدريسي في كلية العلوم قسم علوم الحاسوب  بحثا علميا رصينا تحت عنوان  Environment Technique Verification of SystemC models في مجلة     

 CIENCIA E TECNICA VITIVINICOLA A SCIENCE AND TECHNOLOGY JOURNAL  

   والتي تدخل ضمن تصنيف  Thomson Reutersويهدف البحث الى دمج تقنيات التحقق ، مثل فحص النموذج ، مع بيئة SystemC. ففي هذا البحث تم مقارنة كل التقنيات التي يمكن استخدامها للتحقق من نماذج SystemC. وقد تم توظيف نظام إشارة المرور كدراسة حالة مرجعية واستخدامها لإظهار التطبيق العملي   للمقارنة و يصنف المنهجيات الحالية وفقا ل القدرات والتكامل مع بيئة SystemC.

 

 


فريق بحثي من قسم علوم الحاسوب في كلية العلوم ينشر بحثا علميا في مجلة رصينة

فريق بحثي من قسم علوم الحاسوب في كلية العلوم ينشر بحثا علميا في مجلة رصينة
فريق بحثي من قسم علوم الحاسوب في كلية العلوم ينشر بحثا علميا في مجلة رصينة

 نشر فريق بحثي مؤلف من   م.د. عباس عبد العزيز عبد المجيد  التدريسي  في قسم علوم الحاسوب في كلية العلوم الجامعة المستنصرية و م.د. علاء عبد الحسين التدريسي في كلية العلوم قسم علوم الحاسوب  بحثا علميا رصينا تحت عنوان  Environment Technique Verification of SystemC models في مجلة     

 CIENCIA E TECNICA VITIVINICOLA A SCIENCE AND TECHNOLOGY JOURNAL  

   والتي تدخل ضمن تصنيف  Thomson Reutersويهدف البحث الى دمج تقنيات التحقق ، مثل فحص النموذج ، مع بيئة SystemC. ففي هذا البحث تم مقارنة كل التقنيات التي يمكن استخدامها للتحقق من نماذج SystemC. وقد تم توظيف نظام إشارة المرور كدراسة حالة مرجعية واستخدامها لإظهار التطبيق العملي   للمقارنة و يصنف المنهجيات الحالية وفقا ل القدرات والتكامل مع بيئة SystemC.

 

 


مشاركة الموضوع عبر Facebook Twitter Email Print