|
渡部卓雄 1998年 研究業績一覧 (14件 / 243件)
論文
-
Noriki Amano,
Takuo Watanabe.
LEAD: A Language for Dynamically Adaptable Applications,
IEICE Transactions on Fundamental of Electronics, Communications and Computer Science,
IEICE,
Vol. E81-A,
No. 6,
pp. 992-1000,
June 1998.
公式リンク
-
飯田 周作,
二木 厚吉,
渡部 卓雄.
CafeOBJによる分散システムの形式仕様作成法,
コンピュータソフトウェア,
日本ソフトウェア科学会,
Vol. 15,
No. 1,
pp. 34-49,
Jan. 1998.
-
天野憲樹,
渡部卓雄.
LEAD: 動的適応可能なソフトウェアを構成する言語の設計と実装,
情報処理学会論文誌,
Vol. 39,
No. 9,
pp. 2649-2658,
1998.
国際会議発表 (査読有り)
-
Takuro Kitayama,
Tatsuo Nakajima,
Ichiro Satoh,
Hideyuki Tokuda,
Takuo Watanabe,
Katsuhiko Gondow.
SMAF: A Framework for Future Embedded Systems,
IEEE International Workshop on Networked Appliances,
No. S2-1,
pp. 1-4,
Nov. 1998.
-
Hiroshi Ishikawa,
Takuo Watanabe,
Kokichi Futatsugi,
José Meseguer,
Hideyuki Nakashima.
On the Semantics of GAEA,
3rd Fuji International Symposium on Functional and Logic Programming,
World Scientific,
Apr. 1998.
-
Noriki Amano,
Takuo Watanabe.
LEAD++: An Object-Oriented Reflective Language for Dynamically Adaptable Software,
OOPSLA '98 International Workshop on Reflective Programming in C++ and Java,
pp. 91-95,
1998.
-
Noriki Amano,
Takuo Watanabe.
A Procedural Model of Dynamic Adaptability and Its Description Language,
International Workshop on Principles of Software Evolution (IWPSE '98),
pp. 103-107,
1998.
-
Noriki Amano,
Takuo Watanabe.
LEAD++: An Object-Oriented Language for Dynamically Adaptable Software Model,
IEICE International Conference on Circuit/Systems, Computers and Communications (ITC-CSCC '98),
pp. 1143-1146,
1998.
国内会議発表 (査読有り)
国内会議発表 (査読なし・不明)
-
渡部卓雄.
CEK-抽象機械による移動オブジェクトの形式的定義,
情報処理学会 第57回全国大会論文集(1),
pp. 258-259,
1998.
-
川崎大輔,
天野憲樹,
渡部卓雄.
動的コード生成を用いた適応的移動コード,
情報処理学会 第57回全国大会論文集(1),
pp. 309-310,
1998.
-
西川尚宏,
渡部卓雄.
自己反映機構を用いた移動エージェント記述言語,
情報処理学会 第57回全国大会論文集(1),
pp. 311-312,
1998.
-
新堀健治,
渡部卓雄,
天野憲樹.
信頼性の高い移動エージェントシステムの構成方法,
情報処理学会 第57回全国大会論文集(1),
pp. 313-314,
1998.
-
峯下聡志,
渡部卓雄.
Ambient Calculus を用いた移動エージェントの形式化,
情報処理学会 第57回全国大会論文集(1),
pp. 260-261,
1998.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|