情報システムの開発・運用における動作の記述法と検証法に関する研究

田中, 哲雄

アクセス数:402件（2025-07-03 17:52 集計）

固定URL: https://hdl.handle.net/11094/47264

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
21323_Abstract pdf なし 138 KB 93 2014.08.07 要旨/Abstract  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
情報システムの開発・運用における動作の記述法と検証法に関する研究
著者
著者名
田中, 哲雄 ; タナカ, テツオ
学位名
博士（情報科学）
学位授与年月日
2007-03-23
学位授与機関
大阪大学
研究科
情報科学
専攻
マルチメディア工学
学位授与番号
甲第12044号
学位記番号
21323
ハンドルURL
https://hdl.handle.net/11094/47264
アクセス権
open access
カテゴリ
博士論文 / 情報科学研究科 / 2006年度
注記
著者からインターネット公開の許諾が得られていないため、論文の要旨のみを公開しています。全文のご利用をご希望の場合は、大阪大学の博士論文についてをご参照ください。
Only the abstract of the doctoral thesis, instead of the full text, is available because consent from the author has not been obtained. If you would like to read the full text, please refer to Doctoral Theses of Osaka University.