{"created":"2023-06-20T12:56:14.610753+00:00","id":284,"links":{},"metadata":{"_buckets":{"deposit":"fb060296-1b9d-4e51-adcc-4fc0260a30ec"},"_deposit":{"created_by":2,"id":"284","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"284"},"status":"published"},"_oai":{"id":"oai:fun.repo.nii.ac.jp:00000284","sets":["22:28","25:26:34"]},"author_link":["13","572"],"item_5_biblio_info_5":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1997-03-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"37","bibliographicPageStart":"22","bibliographicVolumeNumber":"14","bibliographic_titles":[{"bibliographic_title":"コンピュータソフトウェア"}]}]},"item_5_description_3":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"オブジェクトモデルの階層構造を用いて動的モデルを記述し、各オブジェクトに状態遷移図とデータを持たせることで局所性を高めた仕様記述モデルObTSを提案。ObTSに操作的意味を与え、関数型言語によってObTSの実現。また、例題を通じてStatechartとの比較を行う。","subitem_description_type":"Abstract"}]},"item_5_publisher_17":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"日本ソフトウェア科学会"}]},"item_5_select_10":{"attribute_name":"単著共著","attribute_value_mlt":[{"subitem_select_item":"共著/joint"}]},"item_5_select_8":{"attribute_name":"査読有無","attribute_value_mlt":[{"subitem_select_item":"あり/yes"}]},"item_5_select_9":{"attribute_name":"研究業績種別","attribute_value_mlt":[{"subitem_select_item":"原著論文/Original Paper"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"metadata only access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_14cb"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorAffiliations":[{"affiliationNameIdentifiers":[{"affiliationNameIdentifier":"","affiliationNameIdentifierScheme":"ISNI","affiliationNameIdentifierURI":"http://www.isni.org/isni/"}],"affiliationNames":[{"affiliationName":"","affiliationNameLang":"ja"}]}],"creatorNames":[{"creatorName":"伊藤, 恵","creatorNameLang":"ja"}],"familyNames":[{"familyName":"伊藤","familyNameLang":"ja"}],"givenNames":[{"givenName":"恵","givenNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"13","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"30303324","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=30303324"}]},{"creatorNames":[{"creatorName":"片山, 卓也"}],"nameIdentifiers":[{"nameIdentifier":"572","nameIdentifierScheme":"WEKO"}]}]},"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":"オブジェクト指向方法論のための動的モデルObTS","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"オブジェクト指向方法論のための動的モデルObTS"}]},"item_type_id":"5","owner":"2","path":["28","34"],"pubdate":{"attribute_name":"公開日","attribute_value":"2010-11-12"},"publish_date":"2010-11-12","publish_status":"0","recid":"284","relation_version_is_last":true,"title":["オブジェクト指向方法論のための動的モデルObTS"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-10-25T01:52:41.021843+00:00"}