Aya Zaki-Ismail

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