2024-07-192024-07-19https://dspace-cris.utar.edu.my/handle/123456789/1174Artificial IntelligenceComponent-based Software DevelopmentMachin LearningMathematical Verification of Software Systems