Tool-Supported Requirement Engineering: A Categorization of the State of the Art and Research Trends | IEEE Conference Publication | IEEE Xplore