A Technique to Support Incremental Construction and Verification in Component-Based Software Development - PDF (International Journal of Advanced Computer Science and Applications, 2025)