Automatic Matching of Software Component Requirements using Semi-formal Specifications and a CBSE Ontology Topics: Application Integration Technologies; Software and Systems Development Methodologies In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, 118-128, 2015 , Barcelona, Spain