Muhammad Aminu Umar

Employment

• Ahmadu Bello University Lecturer
  2011 - Present

Education

• Universiti Teknologi Malaysia MSc.
  2012 - 2014
• Ahmadu Bello University BSc.
  2005 - 2009
• King's College London
  ? - 2025

Projects & Funding

Projects & funding information is unavailable.

Publications (13)

• An Approach for the Comparative Evaluation of Requirements Formalisation Approaches
  2026 DOI: 10.1007/978-3-031-96841-9_7
  +Save
• Automated requirements engineering framework for agile model-driven development
  Frontiers in Computer Science 2025 DOI: 10.3389/fcomp.2025.1537100
  +Save
• Advances in automated support for requirements engineering: a systematic literature review
  Requirements Engineering 2024 DOI: 10.1007/s00766-023-00411-0
  +Save
• Automated Requirements Engineering in Agile Development
  2023 International Conference on Electrical, Computer, Communications and Mechatronics Engineering, ICECCME 2023, Tenerife, Canary Islands, Spain, 19/07/2023 2024 DOI: 10.1109/ICECCME57830.2023.10253030
  +Save
• Comparative Evaluation of NLP Approaches for Requirements Formalisation
  Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering 2024 DOI: 10.5220/0012318700003645
  +Save
• Software architecture for smart cities: A systematic literature review of quality attributes
  2022
  +Save
• Using Artificial Intelligence for the Specification of m-Health and e-Health Systems
  Future of Business and Finance 2022 DOI: 10.1007/978-3-030-99838-7_15
  +Save
• Automated Requirements Formalisation for Agile MDE
  Companion Proceedings - 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS-C 2021 2021 DOI: 10.1109/MODELS-C53483.2021.00030
  +Save
• Automated requirements engineering framework for agile development
  English 2020
  +Save
• Enhancing model transformation synthesis using natural language processing
  Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings 2020 DOI: 10.1145/3417990.3421386
  +Save