WEKO3
アイテム
プログラムの自動生成における入出力条件に関する一考案
https://doi.org/10.57375/00000947
https://doi.org/10.57375/00000947c4ac8883-2733-4840-8da2-bff819f26130
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00004766976.pdf (333.9 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2009-04-04 | |||||
| タイトル | ||||||
| タイトル | プログラムの自動生成における入出力条件に関する一考案 | |||||
| タイトル | ||||||
| タイトル | A study of Input and Output Conditions for Automatic Program Generation | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| ID登録 | ||||||
| ID登録 | 10.57375/00000947 | |||||
| ID登録タイプ | JaLC | |||||
| 著者 |
恐神, 正博
× 恐神, 正博× Osogami, Masahiro |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. | |||||
| 書誌情報 |
福井工業大学研究紀要. 第一部 号 37, p. 273-278, 発行日 2007-05-31 |
|||||
| 出版者 | ||||||
| 出版者 | 福井工業大学 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 2868571 | |||||
| 書誌レコードID | ||||||
| 識別子タイプ | NCID | |||||
| 関連識別子 | TF00009406 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
