AR2B: FORMALIZATION OF ARABIC TEXTS WITH EVENT-B

Autor:	Kheira-Zineb Bousmaha Ossoukine, Lamia Belguith Hadrich
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	arabic natural language processing information system information extraction formals’ specification event-b Information technology T58.5-58.64 Electronic computers. Computer science QA75.5-76.95
Zdroj:	Jordanian Journal of Computers and Information Technology, Vol 06, Iss 02, Pp 148-164 (2020)
Druh dokumentu:	article
ISSN:	2413-9351 2415-1076
DOI:	10.5455/jjcit.71-1570002057
Popis:	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%.
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/7f68f3462fb74e4888fc9fe6fd026eb6 Zobrazit plný text záznamu View record in DOAJ