{"created":"2021-03-01T06:29:17.048257+00:00","id":21598,"links":{},"metadata":{"_buckets":{"deposit":"aca1ad4c-b170-4b33-990f-172ec5635fe5"},"_deposit":{"id":"21598","owners":[],"pid":{"revision_id":0,"type":"depid","value":"21598"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00021598","sets":["682:683:684"]},"author_link":["63506","63507","63508","63509","63510","63511","63512","63513"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Formalization of Modular GSN","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2012-07","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"165","bibliographicPageEnd":"156","bibliographicPageStart":"151","bibliographicVolumeNumber":"112","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"システムの安全性などを保証する手段として,Assurance Caseが注目されている.Assurance Caseの記法として,Assurance CaseのModule化を可能とするModular GSNが提唱されているが,明確に定義されていない.このため,本稿では,Modular GSNを形式的に定義することを試みる.","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"Assurance Case attracts attention as a means to guarantee the safety of systems. Modular GSN has been proposed as the method that enabling of the Assurance Case Module. But Modular GSN has not been defined explicitly. In this paper, we define the Modular GSN formally.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_10_description_5":{"attribute_name":"内容記述","attribute_value_mlt":[{"subitem_description":"IEICE Technical Report;SS2012-35, IEICE Technical Report;KBSE2012-37","subitem_description_language":"en","subitem_description_type":"Other"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://ci.nii.ac.jp/naid/110009626588/"},{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/23746"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"一般社団法人電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_40":{"attribute_name":"シリーズ","attribute_value_mlt":[{"subitem_relation_name":[{"subitem_relation_name_text":"IEICE Technical Report;SS2012-35"}]},{"subitem_relation_name":[{"subitem_relation_name_text":"IEICE Technical Report;KBSE2012-37"}]}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110009626588/","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"(c)一般社団法人電子情報通信学会 本文データは学協会の許諾に基づきCiNiiから複製したものである","subitem_rights_language":"ja"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0913-5685","subitem_source_identifier_type":"PISSN"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"猿渡, 卓也","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"63506","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"松野, 裕","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"63507","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"星野, 隆","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"63508","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"山本, 修一郎","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"63509","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"SARUWATARI, Takuya","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"63510","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"MATSUNO, Yutaka","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"63511","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"HOSHINO, Takashi","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"63512","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"YAMAMOTO, Shuichiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"63513","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-21"}],"displaytype":"detail","filename":"110009626588.pdf","filesize":[{"value":"703.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110009626588.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/21598/files/110009626588.pdf"},"version_id":"88a69510-3411-4540-936a-6a1f791bfe9b"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"アシュアランスケース","subitem_subject_scheme":"Other"},{"subitem_subject":"ディペンダビリティ","subitem_subject_scheme":"Other"},{"subitem_subject":"Modular GSN","subitem_subject_scheme":"Other"},{"subitem_subject":"GSN","subitem_subject_scheme":"Other"},{"subitem_subject":"Assurance Case","subitem_subject_scheme":"Other"},{"subitem_subject":"Dependability","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"Modular GSNの定式化","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Modular GSNの定式化","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["684"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2016-03-04"},"publish_date":"2016-03-04","publish_status":"0","recid":"21598","relation_version_is_last":true,"title":["Modular GSNの定式化"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T04:10:49.439418+00:00"}