「VDM」の版間の差分
削除された内容 追加された内容
m ロボットによる 追加: de:Vienna Development Method |
m ロボットによる 追加: de:Vienna Definition Language |
||
7行目: | 7行目: | ||
[[Category:形式手法]] |
[[Category:形式手法]] |
||
[[de:Vienna |
[[de:Vienna Definition Language]] |
||
[[en:Vienna Development Method]] |
[[en:Vienna Development Method]] |
||
[[uk:Віденський метод розробки]] |
[[uk:Віденський метод розробки]] |