Aya Zaki-Ismail
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2021–2021
Best venue rank
C
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MODELSWARD | 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 |
| 2021 | MODELSWARD | RCM: Requirement Capturing Model for Automated Requirements Formalisation. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2021 | MODELSWARD | 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 |
| 2021 | RE | DBRG: Description-Based Non-Quality Requirements Generator. | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | RE | Enhancing NL Requirements Formalisation Using a Quality Checking Model. | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | RE | ARF: Automatic Requirements Formalisation Tool. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | SEKE | 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 |
| 2021 | REFSQ | CORG: A Component-Oriented Synthetic Textual Requirements Generator. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim |