結果 : tools for requirement analysis in software engineering