Research on Construction and Applications of Formal Specification Component Attributes to Support Specification-Based Software Development

アクセス数 : 84
ダウンロード数 : 82

今月のアクセス数 : 4
今月のダウンロード数 : 0
ファイル情報(添付)
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