{"id":22285,"updated":"2025-01-22T20:57:09.512195+00:00","links":{},"created":"2025-01-18T22:53:59.971257+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022285","sets":["1164:1384:1482:1488"]},"path":["1488"],"owner":"1","recid":"22285","title":["設計上の決定＝プログラム－仕様"],"pubdate":{"attribute_name":"公開日","attribute_value":"1991-02-07"},"_buckets":{"deposit":"b4725644-8964-410a-bb34-97f8de0c6774"},"_deposit":{"id":"22285","pid":{"type":"depid","value":"22285","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":"Design decisions = Program - Specification","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1991-02-07","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"早稲田大学理工学部"},{"subitem_text_value":"早稲田大学理工学部"},{"subitem_text_value":"早稲田大学理工学部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"School of Science and Engineering, WASEDA University","subitem_text_language":"en"},{"subitem_text_value":"School of Science and Engineering, WASEDA University","subitem_text_language":"en"},{"subitem_text_value":"School of Science and Engineering, WASEDA University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"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/22285/files/IPSJ-SE90077020.pdf"},"date":[{"dateType":"Available","dateValue":"1993-02-07"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE90077020.pdf","filesize":[{"value":"884.5 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":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"bca71f59-5883-416a-a12f-a75a5ce0ee99","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1991 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"福田, 剛志"},{"creatorName":"深澤, 良彰"},{"creatorName":"門倉, 敏夫"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takeshi, Fukuda","creatorNameLang":"en"},{"creatorName":"Yoshiaki, Fukazawa","creatorNameLang":"en"},{"creatorName":"Toshio, Kadokura","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"ソフトウェア開発過程における設計段階では、与えられた仕様記述に対して、アルゴリズムやデータ構造など種々の決定が行なわれ、その結果が続いて行なわれるプログラミングに反映される。このように考えると、「仕様＋設計上の決定＝プログラム」と言える。本研究では、この設計上の決定を仕様記述とプログラムから抽出し、プログラム理解やプログラムの自動合成に役立てることを目的とする。すなわち「設計上の決定＝プログラム?仕様」と捉えて、知識ベースを用いた慣用句の認識を利用することにより、プログラム中に含まれるこの設計上の決定を抽出する方法を提案する。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In the design process of the software development, various kinds of design decisions, such as algorithms, data structures and so on, are made. These results have influence on the following programming process. In this sense, we can say \"specification + design decision = program\". In our research, these design decisions are extracted from both its specification and program. These results are utilized in the program understanding and automatic program modification. In this paper, we propose a method to abstract the design decisions in programs using knowledge-based recognition of the \"cliche\". This is what we call \"design decisions = program - specification\".","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"124","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"119","bibliographicIssueDates":{"bibliographicIssueDate":"1991-02-07","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"13(1990-SE-077)","bibliographicVolumeNumber":"1991"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}