Z ニヨル システム シヨウ キジュツ ノタメノ ヘンカン ギジュツ ニ カンスル キソテキ ケンキュウ
張漢明
生駒 : 奈良先端科学技術大学院大学, 1999.3
1
R000828
2
禁帯出
R004375
1999
奈良先端科学技術大学院大学情報科学研究科博士論文 ; 1999年3月
学位記番号: 博第43号
報告番号: 甲第43号
授与年月日: 1999/03/24
学位の種類: 博士(工学)
日本語 (jpn)
張, 漢明 (チョウ, カンメイ)
システム仕様記述
仕様記述変換
モデル化
仕様記述分析
形式的手法
Z
システム仕様記述仕様記述変換モデル化仕様記述分析形式的手法Z
