AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B
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...
Gespeichert in:
| Veröffentlicht in: | Jordanian Journal of Computers and Information Technology 2020-06, Vol.6 (2), p.1 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | ara ; eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | 2 |
| container_start_page | 1 |
| container_title | Jordanian Journal of Computers and Information Technology |
| container_volume | 6 |
| creator | Bousmaha, kheira belguith, lamia |
| description | 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%. |
| doi_str_mv | 10.5455/jjcit.711570002057 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2672361998</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2672361998</sourcerecordid><originalsourceid>FETCH-LOGICAL-c1157-650815904e0055fe947ae478ee5953fcbba072d384080f230ba3cd6998f6dbef3</originalsourceid><addsrcrecordid>eNpNkEtPg0AUhSdGE5vaP-CKxPXUOzNcBtwBoS0JlgTHR9xMeMwkEJUK7cJ_L21duLpn8eWcm4-QWwZLdBHvu65u90vJGEoA4IDygsy4y5AykN7lKQsaCGTXZDGObQXIfCaAyxmhYcGjB2eVF49hlr6HKs23TliEURo7KnlTT85rqjZO8pJsFY1uyJUtP0az-Ltz8rxKVLyhWb5O4zCj9fEJ6iH4DANwDQCiNYErS-NK3xgMUNi6qkqQvBG-Cz5YLqAqRd14QeBbr6mMFXNyd-7dDf33wYx73fWH4Wua1NyTXHhsYieKn6l66MdxMFbvhvazHH40A300o09m9H8z4hdpQVDo</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2672361998</pqid></control><display><type>article</type><title>AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B</title><source>DOAJ Directory of Open Access Journals</source><source>EZB-FREE-00999 freely available EZB journals</source><creator>Bousmaha, kheira ; belguith, lamia</creator><creatorcontrib>Bousmaha, kheira ; belguith, lamia</creatorcontrib><description>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%.</description><identifier>ISSN: 2413-9351</identifier><identifier>EISSN: 2415-1076</identifier><identifier>DOI: 10.5455/jjcit.711570002057</identifier><language>ara ; eng</language><publisher>Amman: Scientific Research Support Fund of Jordan Princess Sumaya University for Technology</publisher><subject>Arabic language ; Automation ; Design ; Software</subject><ispartof>Jordanian Journal of Computers and Information Technology, 2020-06, Vol.6 (2), p.1</ispartof><rights>2020. Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the associated terms available at https://www.jjcit.org/page/Open-Access-Policy .</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>315,781,785,865,27929,27930</link.rule.ids></links><search><creatorcontrib>Bousmaha, kheira</creatorcontrib><creatorcontrib>belguith, lamia</creatorcontrib><title>AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B</title><title>Jordanian Journal of Computers and Information Technology</title><description>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%.</description><subject>Arabic language</subject><subject>Automation</subject><subject>Design</subject><subject>Software</subject><issn>2413-9351</issn><issn>2415-1076</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><recordid>eNpNkEtPg0AUhSdGE5vaP-CKxPXUOzNcBtwBoS0JlgTHR9xMeMwkEJUK7cJ_L21duLpn8eWcm4-QWwZLdBHvu65u90vJGEoA4IDygsy4y5AykN7lKQsaCGTXZDGObQXIfCaAyxmhYcGjB2eVF49hlr6HKs23TliEURo7KnlTT85rqjZO8pJsFY1uyJUtP0az-Ltz8rxKVLyhWb5O4zCj9fEJ6iH4DANwDQCiNYErS-NK3xgMUNi6qkqQvBG-Cz5YLqAqRd14QeBbr6mMFXNyd-7dDf33wYx73fWH4Wua1NyTXHhsYieKn6l66MdxMFbvhvazHH40A300o09m9H8z4hdpQVDo</recordid><startdate>20200601</startdate><enddate>20200601</enddate><creator>Bousmaha, kheira</creator><creator>belguith, lamia</creator><general>Scientific Research Support Fund of Jordan Princess Sumaya University for Technology</general><scope>AAYXX</scope><scope>CITATION</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>CCPQU</scope><scope>CWDGH</scope><scope>DWQXO</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope></search><sort><creationdate>20200601</creationdate><title>AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B</title><author>Bousmaha, kheira ; belguith, lamia</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c1157-650815904e0055fe947ae478ee5953fcbba072d384080f230ba3cd6998f6dbef3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>ara ; eng</language><creationdate>2020</creationdate><topic>Arabic language</topic><topic>Automation</topic><topic>Design</topic><topic>Software</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Bousmaha, kheira</creatorcontrib><creatorcontrib>belguith, lamia</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>ProQuest One Community College</collection><collection>Middle East & Africa Database</collection><collection>ProQuest Central Korea</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><jtitle>Jordanian Journal of Computers and Information Technology</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Bousmaha, kheira</au><au>belguith, lamia</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B</atitle><jtitle>Jordanian Journal of Computers and Information Technology</jtitle><date>2020-06-01</date><risdate>2020</risdate><volume>6</volume><issue>2</issue><spage>1</spage><pages>1-</pages><issn>2413-9351</issn><eissn>2415-1076</eissn><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%.</abstract><cop>Amman</cop><pub>Scientific Research Support Fund of Jordan Princess Sumaya University for Technology</pub><doi>10.5455/jjcit.711570002057</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 2413-9351 |
| ispartof | Jordanian Journal of Computers and Information Technology, 2020-06, Vol.6 (2), p.1 |
| issn | 2413-9351 2415-1076 |
| language | ara ; eng |
| recordid | cdi_proquest_journals_2672361998 |
| source | DOAJ Directory of Open Access Journals; EZB-FREE-00999 freely available EZB journals |
| subjects | Arabic language Automation Design Software |
| title | AR2B: FORMALIZATION ARABIC TEXTS WITH EVENT-B |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-13T09%3A46%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=AR2B:%20FORMALIZATION%20ARABIC%20TEXTS%20WITH%20EVENT-B&rft.jtitle=Jordanian%20Journal%20of%20Computers%20and%20Information%20Technology&rft.au=Bousmaha,%20kheira&rft.date=2020-06-01&rft.volume=6&rft.issue=2&rft.spage=1&rft.pages=1-&rft.issn=2413-9351&rft.eissn=2415-1076&rft_id=info:doi/10.5455/jjcit.711570002057&rft_dat=%3Cproquest_cross%3E2672361998%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2672361998&rft_id=info:pmid/&rfr_iscdi=true |