Master’s Thesis Defense

On Wednesday, September 23, 2026, a Master’s thesis submitted by the student:

Rafal Theyab Mohammed Altheyab

was defended at the College of Computer Science and Mathematics, University of Mosul.

The thesis was entitled:

“Designing a Tool for Verifying the Consistency Between the System Implementation Phase and the Design Phase in Software Engineering”

Supervised by:
Asst. Prof. Dr. Ashraf Abdulmunim Abdulmajeed

The thesis addressed the design and development of a tool for verifying consistency between the system design phase and the system implementation phase in software engineering. The proposed approach analyzes UML Class Diagrams and source code, transforms them into a unified representation using XML, and then extracts and compares relevant features and elements to identify cases of consistency and inconsistency between the design and implementation.

The thesis aimed to develop an automated tool that contributes to detecting inconsistencies between software design and implementation, as well as prioritizing cases that require further inspection and review using Anomaly Detection techniques. This approach supports the verification process and improves the efficiency of software system review.

Alignment with the Sustainable Development Goals

The thesis contributes to several United Nations Sustainable Development Goals (SDGs), including:

SDG 9 – Industry, Innovation and Infrastructure:
By developing a technical tool for the automated verification of consistency between software design and implementation and supporting innovation in software tool development.

SDG 8 – Decent Work and Economic Growth:
By automating the verification process and reducing the time and effort required to examine consistency, thereby contributing to more efficient software development and maintenance processes.

SDG 4 – Quality Education:
By employing software engineering and artificial intelligence concepts and techniques in developing a practical tool for software system verification and enhancing applied and research-oriented learning in this field.

The Examination Committee consisted of:

Prof. Dr. Shahbaa Ibrahim Khalil — Chairperson
Asst. Prof. Dr. Mohammed Abdulghani Taha — Member
Lect. Dr. Ikhlas Abduljabbar Sultan — Member
Asst. Prof. Dr. Ashraf Abdulmunim Abdulmajeed — Member and Superviso