Research on Construction and Applications of Formal Specification Component Attributes to Support Specification-Based Software Development
アクセス数 : 58 件
ダウンロード数 : 56 件
今月のアクセス数 : 33 件
今月のダウンロード数 : 25 件
この文献の参照には次のURLをご利用ください : https://ir.lib.hiroshima-u.ac.jp/00054715
| ファイル情報(添付) | |
| ファイル情報(添付) | |
| ファイル情報(添付) | |
| タイトル ( 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
|
