A methodology for semi-automatic assistance in elicitation and analysis of textual user requirements