ケイシキテキ シヨウ キジュツホウ オ モチイタ ソフトウェア カイハツホウ ニ オケル シヨウ キジュツホウ ノ ケンキュウ
古木良子
生駒 : 奈良先端科学技術大学院大学, 1995.3
1
R000102
2
禁帯出
1995
63p
奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1995年3月
学位記番号: 修第47号
授与年月日: 1995/03/24
学位の種類: 修士(工学)
学生番号: 0351100
日本語 (jpn)
古木, 良子 (フルキ, リョウコ)
ソフトウエア開発法
形式的仕様記述
機能からの観点
データからの観点
形式的仕様記述言語Z
ソフトウエア開発法形式的仕様記述機能からの観点データからの観点形式的仕様記述言語Z
