| Item type |
紀要論文 / Departmental Bulletin Paper(1) |
| 公開日 |
2019-06-07 |
| タイトル |
|
|
タイトル |
形式アシュランスケースのモジュール化事例 −SDBS の帰属および帰属決定プロセスについてのアシュランスケースの研究− |
|
言語 |
ja |
| タイトル |
|
|
タイトル |
A Case Study of Modular Design for Formal Assurance Case |
|
言語 |
en |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
formal assurance case |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
modular design |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
Agda |
| キーワード |
|
|
言語 |
en |
|
主題Scheme |
Other |
|
主題 |
decomposition criteria |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_6501 |
|
資源タイプ |
departmental bulletin paper |
| 著者 |
渡邊, 宏
木下, 佳樹
武山, 誠
|
| 抄録 |
|
|
内容記述タイプ |
Abstract |
|
内容記述 |
We present a case study of modular design for formal assurance case in Agda. The formal assurance case to be decomposed in our study claims the quality and reliability of data, and it was developed in previous work. In this study, we present the following: some requirements for modularization which is obtained from the analysis of both the code and domain of our case; decomposition criteria obtained from the analysis of the requirements. Moreover we give a concrete example of module decomposition of the case based on the criteria. |
|
言語 |
en |
| 内容記述 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
原著 |
|
言語 |
ja |
| 内容記述 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
2017年度神奈川大学総合理学研究所共同研究助成論文 |
|
言語 |
ja |
| 書誌情報 |
en : Science Journal of Kanagawa University
巻 29,
p. 33-38,
発行日 2018-06-30
|
| ISSN |
|
|
収録物識別子タイプ |
PISSN |
|
収録物識別子 |
1880-0483 |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AA12068302 |
| 著者版フラグ |
|
|
出版タイプ |
VoR |
|
出版タイプResource |
http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| その他の言語のタイトル |
|
|
その他のタイトル |
A Case Study of Modular Design for Formal Assurance Case |
| 出版者 |
|
|
出版者 |
神奈川大学総合理学研究所 |
|
言語 |
ja |
| 出版者 |
|
|
出版者 |
Research Institute for Integrated Science, Kanagawa University |
|
言語 |
en |
06 形式アシュランスケースのモジュール化事例 −SDBS の帰属および帰属決定プロセスについてのアシュランスケースの研究− (1.0 MB)
