A refinement checking based strategy for component-based systems evolution.

José Dihego Augusto Sampaio Marcel Oliveira

Published in: J. Syst. Softw. (2020)

Keyphrases

information technology
management system
computing systems
machine learning
learning algorithm
image segmentation
search algorithm
digital libraries
level set
intelligent systems