Aya Zaki-Ismail

According to our database, Aya Zaki-Ismail authored at least 11 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim

SN Comput. Sci., 2023

2022

RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Autom. Softw. Eng., 2022

2021

Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S).

Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

CORG: A Component-Oriented Synthetic Textual Requirements Generator.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

ARF: Automatic Requirements Formalisation Tool.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Enhancing NL Requirements Formalisation Using a Quality Checking Model.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

DBRG: Description-Based Non-Quality Requirements Generator.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

RCM: Requirement Capturing Model for Automated Requirements Formalisation.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

Score-Based Automatic Detection and Resolution of Syntactic Ambiguity in Natural Language Requirements.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020