Z-specでソフトウェアの仕様を記述する課題を終了。代数仕様記述言語(日本語合ってるか自信無し)の1つで、仕様を読むのは簡単だけれど、自分で一から書くのは結構骨が折れる。おまけに、文章で処理の流れを書いてあげないといけないし。
Z More ログイン