|
Publication List - Takuo Watanabe 2014 (8 / 237 entries)
International Conference (Reviewed)
-
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.
Domestic Conference (Not reviewed / Unknown)
-
Shohei Yasutake,
TAKUO WATANABE.
Aπ計算のCoqによる形式化,
日本ソフトウェア科学会第31回大会,
Sept. 2014.
-
Souhei Takeno,
TAKUO WATANABE.
アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価,
日本ソフトウェア科学会第31回大会,
Sept. 2014.
-
Ohmura Yuu,
TAKUO WATANABE.
Design and Implementation of a Source Code Reading Helper Tool for Program Comprehension,
31st JSSST Annual Conference,
Japan Society of Software Science and Technology,
Sept. 2014.
Official location
[ Save as BibTeX ]
[ Paper, Presentations, Books, Others, Degrees: Save as CSV
]
[ Patents: Save as CSV
]
|