Title of article
AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B
Author/Authors
ossoukine, kheira-zineb bousmaha university oran1 algeria - anlp-rg (arabic natural language processing – reseach group), department of computer science, riir laboratory, Algeria , hadrich, lamia belguith university of sfax - faculty of economics and management (fsegs) - anlp-rg, departmant of computer science, Tunisia
From page
148
To page
164
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 Arabic language, which is really a challenge. The Ar2B system is built and the experiments showed good results with an accuracy of 70%.
Keywords
Arabic natural language processing , Information system , Information extraction , Formals’ specification , Event , B.
Journal title
Jordanian Journal Of Computers and Information Technology (Jjcit)
Journal title
Jordanian Journal Of Computers and Information Technology (Jjcit)
Record number
2753170
Link To Document