Automatic matching of software component requirements using semi-formal specifications and a CBSE ontology | IEEE Conference Publication | IEEE Xplore