結果 : functional specifications in software engineering