結果 : formal specification method in software engineering