Sledovat
Kruti Shah
Název
Citace
Citace
Rok
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
122021
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
32022
Verification and Validation of Software System Class Models
KP Shah, ES Grant
Proceedings of the 2024 8th International Conference on Information System …, 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 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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–7