Aya Zaki-Ismail

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Formal Representation

Natural Language

Automatic Detection

Top Venues

Autom. Softw. Eng.

Publications

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim
A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements. SN Comput. Sci. 4 (1) (2023)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements. Autom. Softw. Eng. 29 (1) (2022)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
ARF: Automatic Requirements Formalisation Tool. RE (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM: Requirement Capturing Model for Automated Requirements Formalisation. MODELSWARD (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
DBRG: Description-Based Non-Quality Requirements Generator. RE (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
Enhancing NL Requirements Formalisation Using a Quality Checking Model. RE (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). SEKE (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking. MODELSWARD (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
CORG: A Component-Oriented Synthetic Textual Requirements Generator. REFSQ (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements. MODELSWARD (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
Score-Based Automatic Detection and Resolution of Syntactic Ambiguity in Natural Language Requirements. ICSME (2020)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM: Requirement Capturing Model for Automated Requirements Formalisation. CoRR (2020)