設計上の決定＝プログラム－仕様

• Item type: SIG Technical Reports(1)
• 公開日: 1991-02-07
• タイトル: 設計上の決定＝プログラム－仕様
• タイトル / 言語: en
• タイトル: Design decisions = Program - Specification
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学理工学部
• 著者所属: 早稲田大学理工学部
• 著者所属: 早稲田大学理工学部
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, WASEDA University
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, WASEDA University
• 著者所属(英): en
• 著者所属(英): School of Science and Engineering, WASEDA University
• 著者名: 福田, 剛志; 深澤, 良彰; 門倉, 敏夫
• 著者名(英): Takeshi, Fukuda; Yoshiaki, Fukazawa; Toshio, Kadokura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトウェア開発過程における設計段階では、与えられた仕様記述に対して、アルゴリズムやデータ構造など種々の決定が行なわれ、その結果が続いて行なわれるプログラミングに反映される。このように考えると、「仕様＋設計上の決定＝プログラム」と言える。本研究では、この設計上の決定を仕様記述とプログラムから抽出し、プログラム理解やプログラムの自動合成に役立てることを目的とする。すなわち「設計上の決定＝プログラム?仕様」と捉えて、知識ベースを用いた慣用句の認識を利用することにより、プログラム中に含まれるこの設計上の決定を抽出する方法を提案する。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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".
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1991, 号 13(1990-SE-077), p. 119-124, 発行日 1991-02-07
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会