|
渡部卓雄 2014年 研究業績一覧 (8件 / 243件)
国際会議発表 (査読有り)
-
Takuo Watanabe.
Compositional Construction of Group-Wide Meta-Level Architectures,
Workshop on Computation: Theory and Practice (WCTP 2013),
Theory and Practice of Computation,
World Scientific,
pp. 95-107,
Nov. 2014.
-
Naoyuki Nagatou,
Takuo Watanabe.
Robustness Analysis on Human-made Faults in Procedural Manuals,
Workshop on Computation: Theory and Practice (WCTP 2013),
Theory and Practice of Computation,
World Scientific,
pp. 79-94,
Nov. 2014.
-
Masaya Suzuki,
Takuo Watanabe.
A Language Support for Exhaustive Fault-Injection in Message-Passing System Models,
1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014),
Electronic Proceedings in Theoretical Computer Science,
Vol. 168,
pp. 48-58,
Sept. 2014.
-
Naoyuki Nagatou,
Takuo Watanabe.
A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults,
2nd Asia Pacific Conference on Business Process Management (APBPM 2014),
Lecture Notes in Business Information Processing, LNBIP,
Springer-Verlag,
Vol. 181,
pp. 117-131,
July 2014.
-
Takuo Watanabe,
Souhei Takeno.
A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems,
6th International Workshop on Context-Oriented Programming (COP 2014),
ACM,
July 2014.
国内会議発表 (査読なし・不明)
-
安武祥平,
渡部卓雄.
Aπ計算のCoqによる形式化,
日本ソフトウェア科学会第31回大会,
Sept. 2014.
-
竹野創平,
渡部卓雄.
アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価,
日本ソフトウェア科学会第31回大会,
Sept. 2014.
-
大村裕,
渡部卓雄.
プログラム理解のためのコードリーディング支援ツールの提案と実装,
日本ソフトウェア科学会第31回大会,
日本ソフトウェア科学会,
Sept. 2014.
公式リンク
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|