Abstract: Requirements specification, based on informal elicitation of requirements, is a tedious process that is typically performed manually on the basis of informal requirements descriptions, ...