{"created":"2021-03-01T06:15:27.013073+00:00","id":12537,"links":{},"metadata":{"_buckets":{"deposit":"ac091812-77bd-420a-82a0-8973bd968078"},"_deposit":{"id":"12537","owners":[],"pid":{"revision_id":0,"type":"depid","value":"12537"},"status":"published"},"_oai":{"id":"oai:soar-ir.repo.nii.ac.jp:00012537","sets":["1221:1222"]},"author_link":["38292","38293","38294"],"item_1628147817048":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_6_alternative_title_1":{"attribute_name":"その他（別言語等）のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"VDM over PSP: A Method for Confirming The Usefulness of A Formal Method"}]},"item_6_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2003-03","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"22","bibliographicPageEnd":"70","bibliographicPageStart":"63","bibliographicVolumeNumber":"2003","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告  ソフトウェア工学研究会報告"}]}]},"item_6_description_20":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"VDMを学習している初学者がVDMの有効性を客観的に確認する方法を提案する。有効性は以下の順で確認する。(1)特定ドメインを想定した小規模プログラム演習を数回繰り返す。(2)演習遂行に従い、VDMを段階的に導入する。(3)各演習のプロセス・プロダクトのデータをそれぞれ測定する。(4)測定データを基に欠陥除去等の変化を測定者に示す。","subitem_description_type":"Abstract"}]},"item_6_description_30":{"attribute_name":"資源タイプ（コンテンツの種類）","attribute_value_mlt":[{"subitem_description":"Article","subitem_description_type":"Other"}]},"item_6_description_5":{"attribute_name":"引用","attribute_value_mlt":[{"subitem_description":"情報処理学会研究報告  ソフトウェア工学研究会報告. 2003(22):63-70 (2003)","subitem_description_type":"Other"}]},"item_6_link_3":{"attribute_name":"信州大学研究者総覧へのリンク","attribute_value_mlt":[{"subitem_link_text":"海尻, 賢二","subitem_link_url":"http://soar-rd.shinshu-u.ac.jp/profile/ja.gFypZVkh.html"}]},"item_6_publisher_4":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"社団法人情報処理学会"}]},"item_6_relation_51":{"attribute_name":"異版である","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://ci.nii.ac.jp/naid/110002911403/","subitem_relation_type_select":"URI"}}]},"item_6_rights_62":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright (c) 2003 社団法人情報処理学会"},{"subitem_rights":"ここに掲載した著作物の利用に関する注意 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"},{"subitem_rights":"本文データは学協会の許諾に基づきCiNiiから複製したものである"}]},"item_6_source_id_35":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0919-6072","subitem_source_identifier_type":"ISSN"}]},"item_6_source_id_40":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鈴森,  寿之"}],"nameIdentifiers":[{"nameIdentifier":"38292","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"海谷,  治彦"}],"nameIdentifiers":[{"nameIdentifier":"38293","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"海尻,  賢二"}],"nameIdentifiers":[{"nameIdentifier":"38294","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2015-09-28"}],"displaytype":"detail","filename":"110002911403.pdf","filesize":[{"value":"834.2 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"110002911403.pdf","url":"https://soar-ir.repo.nii.ac.jp/record/12537/files/110002911403.pdf"},"version_id":"72a23b5f-fe52-4469-ad5a-60ab21bb3949"}]},"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":"PSPをもとにした形式手法有効性確認コースの設計","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"PSPをもとにした形式手法有効性確認コースの設計","subitem_title_language":"ja"}]},"item_type_id":"6","owner":"1","path":["1222"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2009-10-19"},"publish_date":"2009-10-19","publish_status":"0","recid":"12537","relation_version_is_last":true,"title":["PSPをもとにした形式手法有効性確認コースの設計"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2022-12-14T04:08:13.850960+00:00"}