|
渡部卓雄 2008年 研究業績一覧 (3件 / 243件)
国際会議発表 (査読有り)
-
Takuo Watanabe.
Towards Formalizing Operational Aspects of Reflective Computation,
4th Asian Workshop on Aspect-Oriented Software Development (AOAsia 4),
Technical Report, Institute of Software, Chinese Academy of Science,
ISCAS-SKLCS-08-06,
pp. 21-24,
Dec. 2008.
公式リンク
-
Sosuke Moriguchi,
Takuo Watanabe.
A Calculus for Advice Weaving Mechanisms,
4th Asian Workshop on Aspect-Oriented Software Development (AOAsia 4),
Dec. 2008.
公式リンク
-
Takuo Watanabe,
Kiyoshi Yamada.
An Aspect-Oriented Behavioral Interface Specification Langauge,
2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2008),
Research Report, Department of Informatics, University of Oslo,
Vol. 377,
pp. 85-92,
Nov. 2008.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|