{"links":{},"id":15768,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00015768","sets":["581:885:887"]},"path":["887"],"owner":"1","recid":"15768","title":["リアルタイムシステムにおけるプロトタイピングの一手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"1985-09-15"},"_buckets":{"deposit":"55ea5494-bc12-47bb-ba01-65202649c23f"},"_deposit":{"id":"15768","pid":{"type":"depid","value":"15768","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"リアルタイムシステムにおけるプロトタイピングの一手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"リアルタイムシステムにおけるプロトタイピングの一手法"},{"subitem_title":"One Method of Prototyping for Real - time System","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"論文","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"1985-09-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"（株）東芝システム・ソフトウェア技術推進部"},{"subitem_text_value":"（株）東芝重電技術研究所"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Systems and Software Engineering Div., Toshiba Corporation","subitem_text_language":"en"},{"subitem_text_value":"Heavy Apparatus Engineering Laboratory, Toshiba Corporation","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/15768/files/IPSJ-JNL2605022.pdf"},"date":[{"dateType":"Available","dateValue":"1987-09-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL2605022.pdf","filesize":[{"value":"636.0 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"777fd3ea-a73c-4e04-817a-b7a94c22fb4a","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1985 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"本位田真一"},{"creatorName":"松本, 吉弘"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shinichi, Honiden","creatorNameLang":"en"},{"creatorName":"Yoshihiro, Matsumoto","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"近年 ソフトウェアの仕様化技術としてプロトタイピング手法が注目されており 多くの手法が提案されているが とくにリアルタイムシステムの場合においては十分な研究が行われていないのが現状である.本論文ではリアルタイムシステムにおけるプロトタイピングの一手法を提案している.リアルタイムシステムの場合のプロトタイプとしては 機能 性能の両面について必要である.本手法では 要求レベル データ/機能レベル 大局的プログラミングレベルのおのおののレベルにおけるプロトタイピングを行っている.本手法においては 機能面でのプロトタイプは各レベルに対してすべてProlog文として統一され その結果レベル間のつき合わせも容易化されている.各レベルでの記述に対する文法は Prolog文のruleとして 実現され 各レベルで記述された情報はデータベースに格納されており これらから対応するProlog文のfactとして自動生成される.一方 性能面でのプロトタイプは 性能予測シミュレータヘの入力モデルであるが これはデータ/機能レベル 大局的プログラミングレベルから自動生成される.簡単な例によって適用方法も示してある.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"953","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"946","bibliographicIssueDates":{"bibliographicIssueDate":"1985-09-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"26"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:49:13.622483+00:00","updated":"2025-01-23T00:11:33.724222+00:00"}