仕様記述言語 2007/12/20

[Think IT] 第1回：仕様記述言語を紹介するにあたって (1/3)
[Think IT] 第2回：仕様記述言語の種類について (1/3)
[Think IT] 第3回：Z言語とVDM-SLの記述例 (1/3)
[Think IT] 第4回：Z言語とVDM-SLの違いとその効果 (1/3)

勉強しよう....