{"created":"2023-06-20T13:43:15.035802+00:00","id":953,"links":{},"metadata":{"_buckets":{"deposit":"8fdbb150-e4b9-4124-adae-b40041a5c98e"},"_deposit":{"created_by":2,"id":"953","owners":[2],"pid":{"revision_id":0,"type":"depid","value":"953"},"status":"published"},"_oai":{"id":"oai:fut.repo.nii.ac.jp:00000953","sets":["1"]},"author_link":["11768","11769"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2007-05-31","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"37","bibliographicPageEnd":"278","bibliographicPageStart":"273","bibliographic_titles":[{"bibliographic_title":"福井工業大学研究紀要. 第一部"}]}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"Since the 1980's, object oriented programming and structured programming have been hot topics for increasing software productivity. Usually, software has been designed by programmers while other products are machine made. However, demand for software has been increasing due to the influence of factory and office automation, so a software crisis has begun. In this paper, a method of automatic program generation is proposed. This paper uses specifications written in easily understood language, and data structures with customized target objects using the generic PROLOG module library. During program generation, the automatic program generation system MAPP tries to compensate for any missing specifications which were not completely described using input and output conditions of modules. In addition Petri Nets will be used during the generated programs conditions consideration.","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.57375/00000947","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"福井工業大学"}]},"item_10002_relation_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_relation_type_id":{"subitem_relation_type_id_text":"TF00009406","subitem_relation_type_select":"NCID"}}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2868571","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"恐神, 正博"}],"nameIdentifiers":[{"nameIdentifier":"11768","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"Osogami, Masahiro","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"11769","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2023-04-12"}],"displaytype":"detail","filename":"KJ00004766976.pdf","filesize":[{"value":"333.9 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"KJ00004766976.pdf","url":"https://fut.repo.nii.ac.jp/record/953/files/KJ00004766976.pdf"},"version_id":"e54cc3bc-2057-4071-86df-12d88407f440"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"プログラムの自動生成における入出力条件に関する一考案","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"プログラムの自動生成における入出力条件に関する一考案"},{"subitem_title":"A study of Input and Output Conditions for Automatic Program Generation","subitem_title_language":"en"}]},"item_type_id":"10002","owner":"2","path":["1"],"pubdate":{"attribute_name":"公開日","attribute_value":"2009-04-04"},"publish_date":"2009-04-04","publish_status":"0","recid":"953","relation_version_is_last":true,"title":["プログラムの自動生成における入出力条件に関する一考案"],"weko_creator_id":"2","weko_shared_id":-1},"updated":"2023-06-20T14:22:02.656043+00:00"}