Towards a Semantic Representation for Functional Software Requirements | IEEE Conference Publication | IEEE Xplore