{"id":43459,"date":"2026-09-24T07:23:30","date_gmt":"2026-09-24T07:23:30","guid":{"rendered":"https:\/\/uomosul.edu.iq\/en\/computerscience\/?p=43459"},"modified":"2026-09-24T07:23:30","modified_gmt":"2026-09-24T07:23:30","slug":"1-747","status":"publish","type":"post","link":"https:\/\/uomosul.edu.iq\/en\/computerscience\/2026\/09\/24\/1-747\/","title":{"rendered":"Master’s Thesis Defense \u0644\u0627\u063a Rafal Theyab Mohammed Altheyab"},"content":{"rendered":"

Master’s Thesis Defense<\/strong><\/p>\n

On Wednesday, September 23, 2026<\/strong>, a Master’s thesis submitted by the student:<\/p>\n

Rafal Theyab Mohammed Altheyab<\/strong><\/p>\n

was defended at the College of Computer Science and Mathematics, University of Mosul<\/strong>.<\/p>\n

The thesis was entitled:<\/p>\n

\u201cDesigning a Tool for Verifying the Consistency Between the System Implementation Phase and the Design Phase in Software Engineering\u201d<\/strong><\/p>\n

Supervised by:<\/strong>
\nAsst. Prof. Dr. Ashraf Abdulmunim Abdulmajeed<\/strong><\/p>\n

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<\/strong>. The proposed approach analyzes UML Class Diagrams<\/strong> and source code, transforms them into a unified representation using XML<\/strong>, and then extracts and compares relevant features and elements to identify cases of consistency and inconsistency between the design and implementation.<\/p>\n

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

Alignment with the Sustainable Development Goals<\/strong><\/p>\n

The thesis contributes to several United Nations Sustainable Development Goals (SDGs)<\/strong>, including:<\/p>\n

SDG 9 \u2013 Industry, Innovation and Infrastructure:<\/strong>
\nBy developing a technical tool for the automated verification of consistency between software design and implementation and supporting innovation in software tool development.<\/p>\n

SDG 8 \u2013 Decent Work and Economic Growth:<\/strong>
\nBy automating the verification process and reducing the time and effort required to examine consistency, thereby contributing to more efficient software development and maintenance processes.<\/p>\n

SDG 4 \u2013 Quality Education:<\/strong>
\nBy 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.<\/p>\n

The Examination Committee consisted of:<\/strong><\/p>\n

Prof. Dr. Shahbaa Ibrahim Khalil<\/strong> \u2014 Chairperson
\nAsst. Prof. Dr. Mohammed Abdulghani Taha<\/strong> \u2014 Member
\nLect. Dr. Ikhlas Abduljabbar Sultan<\/strong> \u2014 Member
\nAsst. Prof. Dr. Ashraf Abdulmunim Abdulmajeed<\/strong> \u2014 Member and Superviso<\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

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: \u201cDesigning a Tool for Verifying the Consistency Between the System Implementation Phase and the Design Phase in Software Engineering\u201d 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 [Read More]<\/a><\/p>\n","protected":false},"author":24,"featured_media":43460,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[],"class_list":["post-43459","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-viva"],"_links":{"self":[{"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/posts\/43459","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/users\/24"}],"replies":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/comments?post=43459"}],"version-history":[{"count":1,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/posts\/43459\/revisions"}],"predecessor-version":[{"id":43461,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/posts\/43459\/revisions\/43461"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/media\/43460"}],"wp:attachment":[{"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/media?parent=43459"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/categories?post=43459"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/uomosul.edu.iq\/en\/computerscience\/wp-json\/wp\/v2\/tags?post=43459"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}