Kruti Shah

According to our database, Kruti Shah authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Verification and Validation of Software System Class Models.

Kruti P. Shah, Emanuel S. Grant

Proceedings of the 2024 8th International Conference on Information System and Data Mining, 2024

2022

Towards Verifying UML Class Diagram and Formalizing Generalization/Specialization Relationship with Mathematical Set Theory.

Kruti Shah, Emanuel S. Grant

J. Softw., 2022

Towards Simplifying and Formalizing UML Class Diagram Generalization/Specialization Relationship with Mathematical Set Theory.

Kruti Shah, Emanuel S. Grant

Proceedings of the ICISDM 2022: 2022 the 6th International Conference on Information System and Data Mining, Silicon Valley, CA, USA, May 27, 2022

2021

Toward Management of Uncertainty in Self-Adaptive Software Systems: IoT Case Study.

Shereen Ismail, Kruti Shah, Hassan Reza, Ronald Marsh, Emanuel S. Grant

Comput., 2021