示方書化 について
ソフトウェア仕様 について
遷移システム について
記述 について
形式記述 について
代数的仕様記述 について
Simula記述 について
LISP記述 について
COBOL記述 について
TOP
BOTTOM