domain analysis of the software specification in natural language