A formal approach for measuring the lexical ambiguity degree in natural language requirement specification: Polysemes and Homonyms focused | IEEE Conference Publication | IEEE Xplore