1997 Fiscal Year Annual Research Report
| Project/Area Number |
09780259
|
|---|
| Research Institution | University of Yamanashi |
|---|
Principal Investigator |
渡辺 喜道 山梨大学, 工学部, 助教授 (00210964)
|
|---|
| Keywords | 属性文法 / ソフトウェア生成系 / 属性評価 / 構文解析 |
|---|
| Research Abstract |
ネットワークを積極的に利用した知的インタフェースをもつ対話型ソフトウェアを効率よく作成するための構成法や開発環境を構築することは極めて重要である.そこで,保守ならびに運用が容易な記述から知的なネットワーク対応の対話型ソフトウェアを生成する方法を提案し,その有用性を確認し,実現することが本研究の目的である.この目的を達成するため,本年度は以下の研究を行った.
1.保守性ならびに運用性のよい,形式的な仕様記述言語を調査した.また,その言語からソフトウェアを生成するソフトウェアのモデルおよびその実装系を調査した.
2.上で調査した結果に基づき,従来のソフトウェア生成系を用いてネットワーク対応型ソフトウェアを構成するときに不適切な部分を調査研究した.具体的には,ネットワークセキュリティに関する従来の技術の問題点を指摘し,安全にソフトウェアを動作させるための方法を調査研究した.また,その結果を発表した.
3.また,保守性および運用性のよい形式的仕様記述からソフトウェアを生成するための基礎的技術である構文解析および意味解析のための効率のよい方法を提案し,発表した.さらに,知的ユーザインタフェースを持つ対話的ソフトウェアを構成するためには,グラフィカルな要素を多く使用する必要がある.そのようなソフトウェアを生成するソフトウェアで扱わなければならないグラフィカル要素を効率よく解析するための基礎的技法を提案し,発表した.
|
-
[Publications] Watanabe,Yoshimichi: "An Attribute Evaluation of One-Pass Attribute Grammars Using Value Estimate" The 3rd International Conference Developments in Language and Theory. 23-24 (1997)
-
[Publications] Watanabe,Yoshimichi: "Deterministic Reconstruction of Context-Free Derivations for a Sentence with Shuffled Terminal Symbols" The 3rd International Conference Developments in Language and Theory. 41-42 (1997)
-
[Publications] 渡辺喜道: "コマンド監視・制御を用いたネットワークセキュリティシステム" 日本ソフトウェア科学会第14回大会. A4-3. 177-180 (1997)
