結果 : control and process specification in software engineering