仕様記述言語
Z言語
VDM
LOTOS
SDL
OBJ
CafeOBJ
(その他の記述言語)
SpecC
UML
表示
編集