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

アクセス数 : 25 件

ダウンロード数 : 31 件

今月のアクセス数 : 0 件

今月のダウンロード数 : 0 件

この文献の参照には次のURLをご利用ください : https://ir.lib.hiroshima-u.ac.jp/00054715

File	k9336_1.pdf 105 KB 種類 : abstract
File	k9336_2.pdf 114 KB 種類 : abstract
File	k9336_4.pdf 75.4 KB 種類 : summary
Title ( eng )	Research on Construction and Applications of Formal Specification Component Attributes to Support Specification-Based Software Development
Title ( jpn )	仕様に基づくソフトウェア開発における形式仕様のコンポーネント属性の構築と応用に関する研究
Creator	Li Jiandong
Descriptions	内容の要約
Language	eng
Resource Type	doctoral thesis
Access Rights	open access
Dissertation Number	甲第9336号
Degree Name	Doctor of Philosophy in Informatics and Data Science
Date of Granted	2023-09-20
Degree Grantors	広島大学 Hiroshima University