研究課題
若手研究(B)
本研究は、Webサービスをより効率的かつ正確に開発するための核となる方法を提案した。この方法の特徴は、システムの設計図に相当する形式的仕様に関して正しいプログラムの集合を数学的に定義し、その中から効率的なものを探索するので、生成されるプログラムの正当性と効率を両立できることである。Webサービスは社会的重要性と需要を増しつつあり、開発工期が従来よりも短い中で、高速に動作し、かつ、信頼性の高いプログラムを開発する必要がある。本研究の成果はその実現のための基礎となる可能性がある。
すべて 2007 2006 その他
すべて 雑誌論文 (7件) (うち査読あり 6件) 備考 (1件)
信学技報 Vol.107, No.392
ページ: 31-36
Proc. of ACM Special Interest Group on University and College Computing Services
ページ: 190-193
Journal of Advanced Computational Intelligence and Intelligent Informatics Vol.10 No.3
ページ: 339-348
ページ: 302-311
ページ: 173-177
Lecture Notes in Computer Science Vol. 4378
ページ: 41-54
WSEAS Transactions on Information Science and Applications Issue 7, Volume 3
ページ: 1214-1221
http://assam.cims.hokudai.ac.jp/eti/