仕様記述言語
Gallina
VDM
VDM++
確認用
Q. 仕様記述言語
参考
関連
調査用
/pogi-log/Google.icon
仕様記述言語
/pogi-log/Wikipedia.icon
仕様記述言語 - Wikipedia(日)
仕様記述言語(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
仕様記述言語 - Wikipedia(英)
仕様記述言語(検索) - Wikipedia(英)
#Fleeting_Notes