Requirements management toolkit: Socratic elicitation, reverse-engineering from code, and maintenance during development