結果 : functional specification with use cases in software engineering