| [ 長期研究 ] |
- テーマ
- ソフトウェアの静的意味情報に関する研究
|
- 内容
-
オブジェクト指向計算におけるメッセージ通信を一般化し、それを用いて計算の構成要素を定義する。一般化したメッセージ通信は、計算の静的意味情報の単位要素と考えられる。これを用いて、静的意味情報の定量化、ソフトウェアの自動変換などの応用を考える。
|
| [ 短期研究 ] |
- テーマ
- アスペクト指向ソフトウェアアーキテクチャスタイルの構築
|
- 内容
- POP(Post Objective Programming)技術を統合して取り扱い、記述するためのアスペクト指向ソフトウェアアーキテクチャスタイルを構築し、事例研究を重ねて、スタイルを洗練する。
|
| [ 趣味・特技など ] |
- |
| [ 皆様へメッセージ ] |
- |