Follow
Aya Zaki-Ismail
Aya Zaki-Ismail
PhD Student at Deakin University
Verified email at deakin.edu.au
Title
Cited by
Cited by
Year
Comprehensive survey on dynamic graph models
A Zaki, M Attia, D Hegazy, S Amin
International Journal of Advanced Computer Science and Applications 7 (2), 2016
602016
Score-based automatic detection and resolution of syntactic ambiguity in natural language requirements
M Osama, A Zaki-Ismail, M Abdelrazek, J Grundy, A Ibrahim
2020 IEEE International Conference on Software Maintenance and Evolution …, 2020
312020
RCM-Extractor: An Automated NLP-Based Approach For Extracting a Semi Formal Representation Model From Natural Language Requirements
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, A Ibrahim
to appear in Automated Software Engineering (accepted 14 Nov 2021), 2022
142022
RCM: Requirement Capturing Model for Automated Requirements Formalisation
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, A Ibrahim
arXiv preprint arXiv:2009.14683, 2020
132020
RCM: Requirement Capturing Model for Automated Requirements Formalisation
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, A Ibrahim
The 9th International Conference on Model-Driven Engineering and Software …, 2020
132020
Evaluation of two viral isolates as a potential biocontrol agent against the Egyptian cotton leafworm, Spodoptera littoralis (Boisd.) (Lepidoptera: Noctuidae)
W Elmenofy, R Salem, E Osman, N Yasser, A Abdelmawgod, M Saleh, ...
Egyptian Journal of Biological Pest Control 30, 1-8, 2020
122020
RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements.
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, AS Ibrahim
MODELSWARD, 270-277, 2021
102021
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations.
A. Zaki-Ismail, M. Osama, M. Abdelrazek, J. Grundy, A. Ibrahim
the 33rd International Conference on Software Engineering & Knowledge …, 2021
82021
SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking
M. Osama, A. Zaki-Ismail, M. Abdelrazek, J. Grundy, A. Ibrahim
The 9th International Conference on Model-Driven Engineering and Software …, 2021
7*2021
Corg: A component-oriented synthetic textual requirements generator
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, A Ibrahim
International Working Conference on Requirements Engineering: Foundation for …, 2021
62021
Efficient distributed dynamic graph system
A Zaki, M Attia, D Hegazy, S Amin
2015 IEEE Seventh International Conference on Intelligent Computing and …, 2015
52015
DBRG: Description-Based Non-Quality Requirements Generator
M Osama, A Zaki-Ismail, M Abdelrazek, J Grundy, A Ibrahim
29th IEEE International Requirements Engineering Conference (RE2021), 20-24 …, 2021
42021
ARF: Automatic Requirements Formalisation Tool
A Zaki-Ismail, M Osama, M Abdelrazek, J Grundy, A Ibrahim
29th IEEE International Requirements Engineering Conference (RE2021), 20-24 …, 2021
32021
A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements
M Osama, A Zaki-Ismail, M Abdelrazek, J Grundy, A Ibrahim
SN Computer Science 4 (1), 57, 2022
12022
Enhancing NL Requirements Formalisation Using a Quality Checking Model
M Osama, A Zaki-Ismail, M Abdelrazek, J Grundy, A Ibrahim
29th IEEE International Requirements Engineering Conference (RE2021), 20-24 …, 2021
12021
Modeling sequence of snapshots in dynamic graph
A Zaki, M Attia, D Hegazy, S Amin
Proceedings of the 10th International Conference on Informatics and Systems …, 2016
12016
CORG: A Component-Oriented Synthetic Textual Requirements Generator
A. Zaki-Ismail, M. Osama, M. Abdelrazek, J. Grundy, A. Ibrahim
27th International Working Conference on Requirement Engineering: Foundation …, 2021
2021
A Parallel Snapshot Retrieval Technique for MG
A Zaki, M Attia, D Hegazy, S Amin
Proceedings of the 10th International Conference on Informatics and Systems …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–18