Research output per year
Research output per year
Personal profile
Biographical details
Muhammad Aminu Umar is a PhD candidate in the Department of Informatics at King’s College London. He obtained his bachelor’s and master’s degrees in computer science from Ahmadu Bello University in Zaria, Nigeria, and Universiti Teknologi Malaysia, respectively. His primary research areas are model-driven engineering and requirements engineering, with a research project focusing on “Automated Requirement Engineering Framework in Agile Model-Driven Development.” This project aims to optimize requirements formalization from natural language by extracting artifacts relevant for requirements analysis and validation.
Education/Academic qualification
Computer Science, Doctor of Philosophy, King's College London
Award Date: 1 Jan 2025
Computer Science, Master of Science, Universiti Teknologi Malaysia
Award Date: 12 Feb 2014
Coomputer Science, Bachelor of Science, Ahmadu Bello University
Award Date: 16 Apr 2009
Fingerprint
Dive into the research topics where Aminu Muhammad UMAR is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Automated requirements engineering framework for agile model-driven development
Umar, M. A., Lano, K. & Abubakar, A. K., 2025, In: Frontiers in Computer Science. 7, 1537100.Research output: Contribution to journal › Article › peer-review
Open Access -
Advances in automated support for requirements engineering: a systematic literature review
Umar, M. A. & Lano, K., 1 Jun 2024, In: REQUIREMENTS ENGINEERING. 29, 2, p. 177-207 31 p.Research output: Contribution to journal › Article › peer-review
Open Access13 Citations (Scopus) -
Automated Requirements Engineering in Agile Development: A Practitioners Survey
Umar, M. A. & Lano, K., 2024.Research output: Contribution to conference types › Paper › peer-review
2 Citations (Scopus) -
Comparative Evaluation of NLP Approaches for Requirements Formalisation
Rahimi, S. K., Lano, K., Tehrani, S. Y., Lin, C., Liu, Y. & Umar, M. A., 2024, Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering. Domínguez Mayo, F. J., Pires, L. F. & Seidewitz, E. (eds.). Science and Technology Publications, Lda, p. 125-132 8 p. (International Conference on Model-Driven Engineering and Software Development; vol. 1).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access -
Introduction to theme section on requirements formalisation
Lano, K., Rahimi, S., Tehrani, S., Burgueño, L. & Umar, M. A., 2024, (Accepted/In press) In: Software and Systems Modeling. 23, 6, p. 1451-1453 3 p.Research output: Contribution to journal › Editorial › peer-review
Open Access
Thesis
-
Automated Requirements Engineering Framework for Model-Driven Development
Muhammad UMAR, A. (Author), Lano, K. (Supervisor), 1 Jan 2025Student thesis: Doctoral Thesis › Doctor of Philosophy
File