あるプログラムの挙動を理解するため、ロジックを自然言語で表現しなおしています。
できれば他人に理解しやすいように
既存の方法論があればそれに則って表現したいのですが、
そのようなものがありましたら教えていただけると幸いです。