結果 : formal specification language in software engineering