リファインメント規則を用いたソフトウェア開発モデルとその改良の一手法

リファインメント規則を用いたソフトウェア開発モデルとその改良の一手法

リファインメント キソク オ モチイタ ソフトウェア カイハツ モデル ト ソノ カイリョウ ノ イチシュホウ

五坪賢次

生駒 : 奈良先端科学技術大学院大学, 1996.3

学位論文

巻号情報

全1件
No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R000179

2

  • [IS]1996(4)

禁帯出

詳細情報

刊年

1996

形態

42p

シリーズ名

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1996年3月

注記

学位記番号: 修第156号

授与年月日: 1996/03/22

学位の種類: 修士(工学)

学生番号: 9451040

標題言語

日本語 (jpn)

本文言語

日本語 (jpn)

著者情報

五坪, 賢次 (ゴツボ, ケンジ)

件名

ソフトウェア開発モデル

リファインメント

形式的手法

仕様

ユーザの意図