結果 : control specification in software engineering