結果 : critical system specification in software engineering