{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00129822","sets":["6504:8103:8113"]},"path":["8113"],"owner":"1","recid":"129822","title":["システム要求と形式仕様のやわらかい設計支援環境とその試作"],"pubdate":{"attribute_name":"公開日","attribute_value":"1996-03-06"},"_buckets":{"deposit":"4857ae3a-bbcb-43f0-838b-d5714a98f7d9"},"_deposit":{"id":"129822","pid":{"type":"depid","value":"129822","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"システム要求と形式仕様のやわらかい設計支援環境とその試作","author_link":[],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"システム要求と形式仕様のやわらかい設計支援環境とその試作"},{"subitem_title":"A Flexible Design Support Environment for System Requirements and Formal Specifications, and Its Prototyping","subitem_title_language":"en"}]},"item_type_id":"22","publish_date":"1996-03-06","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_22_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"東北大学電気通信研究所/情報科学研究科"},{"subitem_text_value":"東北大学電気通信研究所/情報科学研究科"},{"subitem_text_value":"仙台電波工業高等専門学校"},{"subitem_text_value":"山形大学工学部電子工学科"},{"subitem_text_value":"東北大学電気通信研究所/情報科学研究科"}]},"item_22_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ.","subitem_text_language":"en"},{"subitem_text_value":"Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ.","subitem_text_language":"en"},{"subitem_text_value":"Sendai National College of Technology","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Engineering, Yamagata Univ.","subitem_text_language":"en"},{"subitem_text_value":"Reseach Institute of Electrical Communication, Graduate School of Information Sciences, Tohoku Univ.","subitem_text_language":"en"}]},"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/129822/files/KJ00001330048.pdf"},"date":[{"dateType":"Available","dateValue":"1996-03-06"}],"format":"application/pdf","filename":"KJ00001330048.pdf","filesize":[{"value":"270.2 kB"}],"mimetype":"application/pdf","accessrole":"open_date","version_id":"76eeadb1-f3b6-4a8d-bfe2-b18b7555415c","displaytype":"detail","licensetype":"license_note"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_22_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00349328","subitem_source_identifier_type":"NCID"}]},"item_22_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"システム設計工程における初期段階では,設計対象のシステムに対する機能要求が頻繁に追加・変更される.これら作業は,既に設計済みのシステムの再設計を必要とし,最悪の場合システム全体の再設計を必要とする.これらの設計作業を支援する一手法として,我々はやわらかい設計支援方法論の構築を目指している.この支援法の特徴は,次の3点にまとめることができる.(1)命題論理に基づいた機能要求記述法を用いてシステムを機能要求仕様化する.(2)このシステム要求仕様から,合成法を用いて,システムの動作仕様である形式仕様を自動合成する.(3)システム要求が変化した場合,これを合成法に基づいて自動的に形式仕様に反映させる.現在では,この開発法をより効果的に遂行するため,次の3つの手法に対して研究を行っている.(a)システム要求が含んでいる論理エラーの検証法,(b)形式仕様上での論理エラー訂正の機能要求仕様への反映法,(c)システム要求と形式仕様の詳細化法.本稿では,以上の手法を包括的に支援する設計支援環境と,その試作について述べる.","subitem_description_type":"Other"}]},"item_22_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"80","bibliographic_titles":[{"bibliographic_title":"全国大会講演論文集"}],"bibliographicPageStart":"79","bibliographicIssueDates":{"bibliographicIssueDate":"1996-03-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"ソフトウェア工学","bibliographicVolumeNumber":"第52回"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":129822,"updated":"2025-01-21T00:23:22.003674+00:00","links":{},"created":"2025-01-19T00:08:58.580629+00:00"}