| Verification and Validation of Software System Class Models KP Shah The University of North Dakota, 2024 | | 2024 |
| Towards Verification of UML Class Models using Formal Specification Methods: A Review KP Shah, ES Grant Global Journal of Computer Science and Technology 23 (H1), 1-7, 2023 | | 2023 |
| Software System Model Correctness using Graph Theory: A Review KP Shah, ES Grant Global Journal of Computer Science and Technology 23 (H1), 25-31, 2023 | | 2023 |
| Pedagogy for Applying Mathematical Principles in Software Engineering ES Grant, KP Shah 2022 7th International STEM Education Conference (iSTEM-Ed), 1-4, 2022 | | 2022 |
| Towards Simplifying and Formalizing UML Class Diagram Generalization/Specialization Relationship with Mathematical Set Theory K Shah, E Grant Proceedings of the 6th International Conference on Information System and …, 2022 | 2 | 2022 |
| Towards Verifying UML Class Diagram and Formalizing Generalization/Specialization Relationship with Mathematical Set Theory. K Shah, ES Grant J. Softw. 17 (6), 292-303, 2022 | | 2022 |
| Toward management of uncertainty in self-adaptive software systems: IoT case study S Ismail, K Shah, H Reza, R Marsh, E Grant Computers 10 (3), 27, 2021 | 9 | 2021 |
