{"created":"2021-03-01T05:52:57.013200+00:00","id":1236,"links":{},"metadata":{"_buckets":{"deposit":"a0d4b739-e3c7-4ba7-a43a-89ed8551a25a"},"_deposit":{"id":"1236","owners":[],"pid":{"revision_id":0,"type":"depid","value":"1236"},"status":"published"},"_oai":{"id":"oai:repository.nii.ac.jp:00001236","sets":["136"]},"author_link":[],"control_number":"1236","item_5_biblio_info_30":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-05-08","bibliographicIssueDateType":"Issued"},"bibliographicPageEnd":"12","bibliographicPageStart":"1","bibliographic_titles":[{"bibliographic_title":"NIIテクニカル・レポート","bibliographic_titleLang":"ja"},{"bibliographic_title":"NII Technical Report","bibliographic_titleLang":"en"}]}]},"item_5_description_28":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Various program analysis techniques are very efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. This calls for abstraction and visualization tools. We propose an approach based on UML sequence diagrams, which addresses shortcomings of such diagrams for concurrency. The result is a more expressive visualization that can provide all the necessary information at a glance.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_5_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.20736/0000001236","subitem_identifier_reg_type":"JaLC"}]},"item_5_publisher_31":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"国立情報学研究所","subitem_publisher_language":"ja"}]},"item_5_source_id_32":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1346-5597","subitem_source_identifier_type":"ISSN"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Artho, Cyrille","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"Havelund, Klaus","creatorNameLang":"en"}]},{"creatorNames":[{"creatorName":"本位田, 真一","creatorNameLang":"ja"},{"creatorName":"Honiden, Shinichi","creatorNameLang":"en"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2019-03-12"}],"displaytype":"detail","filename":"07-006E.pdf","filesize":[{"value":"154.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"NII Technical Report (NII-2007-006E)：Visualization of Concurrent Program Executions","url":"https://repository.nii.ac.jp/record/1236/files/07-006E.pdf"},"version_id":"36b8ed97-515a-4450-a990-8d95182c2506"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"テクニカルレポート","subitem_subject_language":"ja","subitem_subject_scheme":"Other"},{"subitem_subject":"Technical Report","subitem_subject_language":"en","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"NII Technical Report (NII-2007-006E)：Visualization of Concurrent Program Executions","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"NII Technical Report (NII-2007-006E)：Visualization of Concurrent Program Executions","subitem_title_language":"en"}]},"item_type_id":"5","owner":"1","path":["136"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2019-03-12"},"publish_date":"2019-03-12","publish_status":"0","recid":"1236","relation_version_is_last":true,"title":["NII Technical Report (NII-2007-006E)：Visualization of Concurrent Program Executions"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-05T02:14:58.070829+00:00"}