|
渡部卓雄 2013年 研究業績一覧 (9件 / 240件)
国際会議発表 (査読有り)
-
Takuo Watanabe.
Towards a Compositional Reflective Architecture for Actor-Based Systems,
3rd International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2013),
ACM,
pp. 19-24,
Oct. 2013.
-
Sosuke Moriguchi,
Takuo Watanabe.
An Interactive Extension Mechanism for Reusing Verified Programs,
28th ACM Symposium on Applied Computing,
Association for Computing Machinery,
pp. 1236-1243,
Mar. 2013.
-
Ilankaikone Senthooran,
Takuo Watanabe.
On Generating Soft Real-Time Programs for Non-Real-Time Environments,
2nd Workshop on Computation: Theory and Practice (WCTP 2012),
Theory and Practice of Computation: Proceedings in Information and Communications Technology,
Vol. 7,
pp. 1-12,
Feb. 2013.
国内会議発表 (査読有り)
国内会議発表 (査読なし・不明)
-
安原 由貴,
森口 草介,
渡部卓雄.
実時間システム向け文脈指向言語ProcneJ,
情報処理学会論文誌プログラミング(PRO),
Vol. 6,
No. 3,
pp. 50-50,
Nov. 2013.
-
永藤直行,
渡部卓雄.
人為的欠陥の意味と耐性解析,
日本ソフトウェア科学会第30回大会,
Sept. 2013.
-
小林隆志,
権藤克彦,
佐伯元司,
首藤一幸,
田中康,
西崎真也,
森本千佳子,
米崎直樹,
渡部卓雄.
Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み,
日本ソフトウェア科学会第30回大会,
Sept. 2013.
-
中村遼太郎,
渡部卓雄.
実時間システム向けの文脈指向DSL,
情報処理学会 ソフトウェア工学研究会,
情報処理学会研究報告,
Vol. 2013-SE-179,
No. 31,
pp. 1-8,
Mar. 2013.
公式リンク
-
安原由貴,
森口草介,
渡部卓雄.
実時間システム向け文脈指向言語ProcneJ,
情報処理学会 第93回プログラミング研究発表会,
Feb. 2013.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|