The goal of the thesis is to detect the semantic ambiguities in the Software Requirement Specification document.