| 研究課題/領域番号 |
18700033
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 札幌学院大学 |
|---|
研究代表者 |
小池 英勝 札幌学院大学, 社会情報学部, 准教授 (60405636)
|
|---|
| 研究期間 (年度) |
2006 – 2008
|
| 研究課題ステータス |
完了 (2008年度)
|
| 配分額 *注記 |
3,670千円 (直接経費: 3,400千円、間接経費: 270千円)
2008年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2007年度: 1,100千円 (直接経費: 1,100千円)
2006年度: 1,400千円 (直接経費: 1,400千円)
|
|---|
| キーワード | ソフトウェア工学 / 等価変換 / プログラム生成 / Webサービス / 最適化 / 情報システム |
|---|
| 研究概要 |
本研究は、Webサービスをより効率的かつ正確に開発するための核となる方法を提案した。この方法の特徴は、システムの設計図に相当する形式的仕様に関して正しいプログラムの集合を数学的に定義し、その中から効率的なものを探索するので、生成されるプログラムの正当性と効率を両立できることである。Webサービスは社会的重要性と需要を増しつつあり、開発工期が従来よりも短い中で、高速に動作し、かつ、信頼性の高いプログラムを開発する必要がある。本研究の成果はその実現のための基礎となる可能性がある。
|
