An automated approach to envisage software requirements