no code implementations • 23 May 2022 • Ali Hanzala Khan, Ivan Porres
We propose an automatic approach to analyze the consistency and satisfiability of Unified Modeling Language UML models containing multiple class, object and statechart diagrams using logic reasoners for the Web Ontology Language OWL 2.
no code implementations • 29 Apr 2022 • Muhammad Humayoun, Muhammad Adnan Hashmi, Ali Hanzala Khan
Measuring plagiarism in programming assignments is an essential task to the educational procedure.