AR2B : formalization of Arabic texts with Event-B
العناوين الأخرى
"رسمنة" النصوص العربية باستخدام الحدث-ب (Event-B)
المؤلفون المشاركون
Ossoukine, Khira Zaynab Bousmaha
Hadrich, Lamya Belguith
المصدر
Jordanian Journal of Computetrs and Information Technology
العدد
المجلد 6، العدد 2 (30 يونيو/حزيران 2020)، ص ص. 148-164، 17ص.
الناشر
جامعة الأميرة سمية للتكنولوجيا
تاريخ النشر
2020-06-30
دولة النشر
الأردن
عدد الصفحات
17
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Transforming natural software requirements into a more formal specification is difficult and may be an excellent application for natural language processing.
This problem is not recent.
It aroused and still arouses great interest, because it gives rise to many challenges in various scientific fields, such as automatic language processing, requirements engineering, knowledge representation and formal verification.
This paper proposes a platform and a strategy to transform software requirements specified to formal specification with event-B.
The texts used are those of Arabic language, which is really a challenge.
The Ar2B system is built and the experiments showed good results with an accuracy of 70%.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Ossoukine, Khira Zaynab Bousmaha& Hadrich, Lamya Belguith. 2020. AR2B : formalization of Arabic texts with Event-B. Jordanian Journal of Computetrs and Information Technology،Vol. 6, no. 2, pp.148-164.
https://search.emarefa.net/detail/BIM-1416204
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Ossoukine, Khira Zaynab Bousmaha& Hadrich, Lamya Belguith. AR2B : formalization of Arabic texts with Event-B. Jordanian Journal of Computetrs and Information Technology Vol. 6, no. 2 (Jun. 2020), pp.148-164.
https://search.emarefa.net/detail/BIM-1416204
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Ossoukine, Khira Zaynab Bousmaha& Hadrich, Lamya Belguith. AR2B : formalization of Arabic texts with Event-B. Jordanian Journal of Computetrs and Information Technology. 2020. Vol. 6, no. 2, pp.148-164.
https://search.emarefa.net/detail/BIM-1416204
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references : p. 163-164
رقم السجل
BIM-1416204
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر