|
渡部卓雄 1996年 研究業績一覧 (11件 / 244件)
国際会議発表 (査読有り)
-
Shusaku Iida,
Kokichi Futatsugi,
Takuo Watanabe.
Algebraic Specification of Distributed Systems based on Concurrent Object-Oriented Modeling,
IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996),
Formal Methods for Open Object-based Distributed Systems,
Springer,
pp. 341-356,
Mar. 1996.
-
Hiroshi Ishikawa,
Kokichi Futatsugi,
Takuo Watanabe.
An Example for Concurrent Reflec- tive Computations in Rewriting Logic,
IFIP 1st International Workshop on Formal Methods in Open Object-based Distributed Systems (FMOODS 1996),
Formal Methods for Open Object-based Distributed Systems,
Springer,
pp. 178-185,
Mar. 1996.
国内会議発表 (査読なし・不明)
-
天野憲樹,
渡部卓雄.
メタレベルアーキテクチャによる移動計算機環境のための言語,
情報処理学会研究報告 (モーバイルコンピューティング研究グループ),
No. MBL-1,
pp. 9-14,
1996.
-
田中哲,
渡部卓雄.
言語のメタレベルアーキテクチャにおけるモジュール化手法,
日本ソフトウェア科学会 第13回大会論文集,
pp. 229-232,
1996.
-
菅原太郎,
渡部卓雄.
継続オブジェクトを明示化した並行オブジェクト指向言語に対する部分計算,
日本ソフトウェア科学会第12回オブジェクト指向計算ワークショップ (WOOC '96),
pp. -,
1996.
-
天野憲樹,
渡部卓雄.
メタレベルアーキテクチャによる移動計算機環境のための言語,
日本ソフトウエア科学会 第13回大会論文集,
pp. 281-284,
1996.
-
渡部卓雄,
天野憲樹.
移動計算機環境のための遠隔コード実行モデル,
情報処理学会研究報告 (モーバイルコンピューティング研究グループ),
Vol. 96,
No. MBL-3,
1996.
-
天野憲樹,
渡部卓雄.
移動計算機環境をサポートする言語LEADによる非同期イベント処理,
情報処理学会研究報告 (モーバイルコンピューティング研究グループ),,
Vol. 96,
No. MBL-3,
1996.
-
菅原太郎,
渡部卓雄.
並行オブジェクトに対する計算の非決定性を保存する部分計算手法,
日本ソフトウェア科学会 第13回大会論文集,
pp. 441-444,
1996.
-
田中哲,
渡部卓雄.
再利用可能な部品から構成された言語処理系,
電子情報通信学会ソフトウェアサイエンス研究会,
pp. -,
1996.
その他の論文・著書など
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|