結果 : explain formal system specification in software engineering