A Methodology for Software Requirements Elicitation and Analysis