Research on Construction and Applications of Formal Specification Component Attributes to Support Specification-Based Software Development
アクセス数 : 86 件
ダウンロード数 : 82 件
今月のアクセス数 : 6 件
今月のダウンロード数 : 0 件
この文献の参照には次のURLをご利用ください : https://ir.lib.hiroshima-u.ac.jp/00054715
ファイル情報(添付) |
k9336_1.pdf
105 KB
種類 :
抄録・要旨
|
ファイル情報(添付) |
k9336_2.pdf
114 KB
種類 :
抄録・要旨
|
ファイル情報(添付) |
k9336_4.pdf
75.4 KB
種類 :
要約
|
タイトル ( eng ) |
Research on Construction and Applications of Formal Specification Component Attributes to Support Specification-Based Software Development
|
タイトル ( jpn ) |
仕様に基づくソフトウェア開発における形式仕様のコンポーネント属性の構築と応用に関する研究
|
作成者 |
Li Jiandong
|
内容記述 |
内容の要約
|
言語 |
英語
|
資源タイプ | 博士論文 |
アクセス権 | オープンアクセス |
学位授与番号 | 甲第9336号 |
学位名 | |
学位授与年月日 | 2023-09-20 |
学位授与機関 |
広島大学
Hiroshima University
|