結果 : efficiency requirements in software engineering