AR2B : formalization of Arabic texts with Event-B
Other Title(s)
"رسمنة" النصوص العربية باستخدام الحدث-ب (Event-B)
Joint Authors
Ossoukine, Khira Zaynab Bousmaha
Hadrich, Lamya Belguith
Source
Jordanian Journal of Computetrs and Information Technology
Issue
Vol. 6, Issue 2 (30 Jun. 2020), pp.148-164, 17 p.
Publisher
Princess Sumaya University for Technology
Publication Date
2020-06-30
Country of Publication
Jordan
No. of Pages
17
Main Subjects
Information Technology and Computer Science
Abstract 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%.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references : p. 163-164
Record ID
BIM-1416204