{"_buckets": {"deposit": "60d935da-749d-4cb9-9444-49ba553394c1"}, "_deposit": {"id": "13266", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13266"}, "status": "published"}, "_oai": {"id": "oai:soar-ir.repo.nii.ac.jp:00013266", "sets": ["1307"]}, "author_link": ["40187", "40188", "40189"], "item_13_biblio_info_6": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2003-11", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "334", "bibliographicPageStart": "327", "bibliographic_titles": [{"bibliographic_title": "Proceedings, 27th Annual International Computer Software and Applications Conference"}]}]}, "item_13_description_19": {"attribute_name": "内容記述", "attribute_value_mlt": [{"subitem_description": "COMPSAC 2003, Dallas, Texas, November 03 - November 06. 2003", "subitem_description_type": "Other"}]}, "item_13_description_20": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "Although formal methods seem to be useful, these is no clear way for beginners to know whether the methods are suit for them and for their problem domain, before using the methods in practice. We propose a method to confirm the suitability of a formal method. The method is realized as a pilot course based on the PSP. A course mentioned in this paper is designed for a typical formal method, VDM. Our course also helps beginners of VDM to learn VDM gradually and naturally. During the course, they can confirm its suitability as follows; First, they practice several exercises for software development, while techniques of VDM are introduced gradually. Second, process data and product data of software development are recorded in each exercise. Third, by evaluating these data by several metrics, they can confirm the suitability of VDM for their work.", "subitem_description_type": "Abstract"}]}, "item_13_description_30": {"attribute_name": "資源タイプ（コンテンツの種類）", "attribute_value_mlt": [{"subitem_description": "Article", "subitem_description_type": "Other"}]}, "item_13_description_31": {"attribute_name": "フォーマット：mimeタイプ", "attribute_value_mlt": [{"subitem_description": "application/pdf", "subitem_description_type": "Other"}]}, "item_13_description_5": {"attribute_name": "引用", "attribute_value_mlt": [{"subitem_description": "Proceedings, 27th Annual International Computer Software and Applications Conference. 327-334 (2003)", "subitem_description_type": "Other"}]}, "item_13_link_3": {"attribute_name": "信州大学研究者総覧へのリンク", "attribute_value_mlt": [{"subitem_link_text": "Kaijiri, K", "subitem_link_url": "http://soar-rd.shinshu-u.ac.jp/profile/ja.gFypZVkh.html"}]}, "item_13_publisher_4": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "IEEE Computer Society"}]}, "item_13_relation_48": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_name": [{"subitem_relation_name_text": "10.1109/CMPSAC.2003.1245361"}], "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1109/CMPSAC.2003.1245361", "subitem_relation_type_select": "DOI"}}]}, "item_13_rights_62": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "©2003 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE."}]}, "item_13_select_64": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_1627890897769": {"attribute_name": "出版タイプ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_970fb48d4fbd8a85", "subitem_version_type": "VoR"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Suzumori,  H"}], "nameIdentifiers": [{"nameIdentifier": "40187", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kaiya,  H"}], "nameIdentifiers": [{"nameIdentifier": "40188", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Kaijiri,  K"}], "nameIdentifiers": [{"nameIdentifier": "40189", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2015-09-28"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "20200327.pdf", "filesize": [{"value": "184.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 184000.0, "url": {"label": "20200327.pdf", "url": "https://soar-ir.repo.nii.ac.jp/record/13266/files/20200327.pdf"}, "version_id": "b7ca7b76-2786-4675-a8f0-6bc13f3a08c6"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Vienna Development Method", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Formal Method", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Personal Software Process", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Software Process Improvement", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Software Metrics", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Software Engineering Education", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development", "subitem_title_language": "en"}]}, "item_type_id": "13", "owner": "1", "path": ["1307"], "permalink_uri": "http://hdl.handle.net/10091/3370", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2009-10-23"}, "publish_date": "2009-10-23", "publish_status": "0", "recid": "13266", "relation": {}, "relation_version_is_last": true, "title": ["VDM over PSP: A Pilot Course for VDM Beginners to Confirm its Suitability for Their Development"], "weko_shared_id": -1}