Home|Journals|Articles by Year

Directory for Medical Articles
 

Original Article

JJCIT. 2020; 6(2): 148-164


AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B

kheira zineb Bousmaha, lamia hadrich belguith.


Abstract

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 the Arabic language, which is really a challenge. The Ar2B system is built and the experiments showed good results with an accuracy of 70%.

Key words: Arabic natural language processing, Information System, Information extraction, formals specification, event-B






Full-text options


Share this Article



Online Article Submission
• ejmanager.com
• ojshosting.net







Do you want to use OJS for your journal ?
work with an experienced partner
www.OJSHosting.net

eJManager.com
Review(er)s Central
About BiblioMed
License Information
Terms & Conditions
Privacy Policy
Contact Us

The articles in Bibliomed are open access articles licensed under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License (https://creativecommons.org/licenses/by-nc-sa/4.0/) which permits unrestricted, non-commercial use, distribution and reproduction in any medium, provided the work is properly cited.