結果 : two formal specification techniques in software engineering