{"id":22349,"updated":"2025-01-22T20:55:00.192828+00:00","links":{},"created":"2025-01-18T22:54:02.730301+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022349","sets":["1164:1384:1496:1498"]},"path":["1498"],"owner":"1","recid":"22349","title":["仕様記述過程モデル化のための実験と分析"],"pubdate":{"attribute_name":"公開日","attribute_value":"1989-11-24"},"_buckets":{"deposit":"d0d09555-4054-401a-badb-a5acf30ffd7a"},"_deposit":{"id":"22349","pid":{"type":"depid","value":"22349","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":"An Analysis of Experimental Results on Specification Processes for Process Modeling","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1989-11-24","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"情報処理振興事業協会"},{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"東京工業大学"},{"subitem_text_value":"電子技術総合研究所"},{"subitem_text_value":"協同システム開発（株）"},{"subitem_text_value":"（株）東芝"},{"subitem_text_value":"（株）東芝"},{"subitem_text_value":"（株）東芝"},{"subitem_text_value":"（株）日立製作所"},{"subitem_text_value":"富士通（株）"},{"subitem_text_value":"日本ユニシス（株）"},{"subitem_text_value":"（株）管理工学研究所"},{"subitem_text_value":"（株）管理工学研究所"},{"subitem_text_value":"富士ゼロックス（株）"},{"subitem_text_value":"富士ゼロックス（株）"},{"subitem_text_value":"日本電子計算（株）"},{"subitem_text_value":"住友金属工業（株）"},{"subitem_text_value":"フリーランス・テクニカルライター"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Information - technology Promotion Agency Japn (IPA)","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Tokyo Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Electronical Laboratory Agency of Industrial Science and Technology (MITI)","subitem_text_language":"en"},{"subitem_text_value":"Joint System Development Corp.","subitem_text_language":"en"},{"subitem_text_value":"Toshiba Corpration","subitem_text_language":"en"},{"subitem_text_value":"Toshiba Corpration","subitem_text_language":"en"},{"subitem_text_value":"Toshiba Corpration","subitem_text_language":"en"},{"subitem_text_value":"Hitachi Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fjutsu Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Nippon Unisys Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Kanri Kogaku Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Kanri Kogaku Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fuji Xerox Co. Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Fuji Xerox Co. Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Japan Information Processing Service Co. Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Sumitomo Metal Industries Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Freelance tenhnical writer","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/22349/files/IPSJ-SE89069001.pdf"},"date":[{"dateType":"Available","dateValue":"1991-11-24"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE89069001.pdf","filesize":[{"value":"1.1 MB"}],"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":"c4dd05b4-dc4e-488b-8046-5d74a41d2aa3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1989 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"古宮, 誠一"},{"creatorName":"佐伯, 元司"},{"creatorName":"池, 克俊"},{"creatorName":"大蒔, 和仁"},{"creatorName":"白井, 豊"},{"creatorName":"本位田真一"},{"creatorName":"内平, 直志"},{"creatorName":"西村, 一彦"},{"creatorName":"大槻, 繁"},{"creatorName":"蓬莱尚幸"},{"creatorName":"加藤潤三"},{"creatorName":"大林, 正晴"},{"creatorName":"松浦, 依江子"},{"creatorName":"上林, 憲行"},{"creatorName":"荒谷, 徹"},{"creatorName":"大木, 幹雄"},{"creatorName":"松田, 元彦"},{"creatorName":"村井, 進"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Seiichi, Komiya","creatorNameLang":"en"},{"creatorName":"Motoshi, Saeki","creatorNameLang":"en"},{"creatorName":"Katsutoshi, Ike","creatorNameLang":"en"},{"creatorName":"Kazuhito, Ohmaki","creatorNameLang":"en"},{"creatorName":"Yutaka, Shirai","creatorNameLang":"en"},{"creatorName":"Shinichi, Honiden","creatorNameLang":"en"},{"creatorName":"Naoshi, Uchihira","creatorNameLang":"en"},{"creatorName":"Kazuhiko, Nishimura","creatorNameLang":"en"},{"creatorName":"Shigeru, Ohtsuki","creatorNameLang":"en"},{"creatorName":"Hisayuki, Horai","creatorNameLang":"en"},{"creatorName":"Junzou, Kato","creatorNameLang":"en"},{"creatorName":"Masaharu, Ohbayashi","creatorNameLang":"en"},{"creatorName":"Saeko, Matsuura","creatorNameLang":"en"},{"creatorName":"Noriyuki, Kamibayashi","creatorNameLang":"en"},{"creatorName":"Tooru, Aratani","creatorNameLang":"en"},{"creatorName":"Mikio, Ohki","creatorNameLang":"en"},{"creatorName":"Motohiko, Matsuda","creatorNameLang":"en"},{"creatorName":"Susumu, Murai","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":"設計方法論と実際の設計プロセスは別物である．というのは，設計方法論は、誰が用いても同じプロセスで同じ成果が得られるほど，人間の作業を規定しているものではないからである．それ故，設計プロセスは設計方法論のインスタンスである．従って、設計方法論自身を分析するよりも，設計プロセスの事例を収集し，分析分類するほうがソフトウェアの設計プロセスを明らかにすることに繋がる．そこで、タイプの累なる問題として図書館問題とLift問題を選び，種々の仕様記述言語や設計方法論を用いて仕様記述を行なった．本稿では，この結果をもとに，仕様記述の観点から設計プロセス自身を分類するとともに，仕様記述言語や方法論を分類し，問題のタイプと設計プロセスの関係を明らかにしている．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Actual specification process do not exactly follow specification methodologies. Generally, specification metodologies do not regulate human activities precisely enough for any person who performs the same precedure to generate the same results. A specification process can be regarded as an instance of a Specificatin methodology. General characteristics of specification process can be clarified by gathering and analyzing actual instances of specification efforts rather than by studying specification methodologies. The Library problem and the Lift problem which represent different problem areas were specified with several specification languages and specification methodologies. From these results, this paper clearly addressses the relationships between specification processes and problem types by classifying specification processes as well as by classifying specification languages and specification methodologies from specific viewpoints.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"1989-11-24","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"101(1989-SE-069)","bibliographicVolumeNumber":"1989"}]},"relation_version_is_last":true,"weko_creator_id":"1"}}