Common System Descriptions オ モチイタ システム カイハツ
小田伸司
生駒 : 奈良先端科学技術大学院大学, 1997.3
1
R000529
2
禁帯出
1997
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1997年3月
学位記番号: 修第444号
授与年月日: 1997/03/24
学位の種類: 修士(工学)
学生番号: 9551019
日本語 (jpn)
小田, 伸司 (オダ, シンジ)
形式的手法
Common System Descriptions
RAISE Specification Language
ML
ラピッドプロトタイピング
形式的手法Common System DescriptionsRAISE Specification LanguageMLラピッドプロトタイピング
