IEICE Technical Report

Print edition: ISSN 0913-5685

Software Science

Workshop Date : 2006-04-20 / Issue Date : 2006-04-13

SS2006-1
Detecting Data Races on Signals
Takamitsu Tahara, Katsuhiko Gondow (TItech)
pp. 1 - 6

SS2006-2
Bootstrapping of OSL translator in MAGE
Takahiro Yoshioka, Takeshi Hagiwara (Niigata Univ.)
pp. 7 - 12

SS2006-3
On the selection of conceptual elements of the software semantic model
Tsuneo Ajisaka (Wakayama Univ.)
pp. 13 - 18

SS2006-4
A Study of an Interoperability Test Activity of Heterogeneous Routing Equipments -- For smooth deployment of a new network architecture --
Yutaka Kikuchi (Kochi Univ. of Tech.), Takeshi Ishihara (Toshiba), Kenichi Nagami (Inetcore), Tomohiko Kusuda (Intec W&G), Hiroo Hishioka (Nextech), Kazuma Nishiuchi (Citynet), Tomokazu Hada (Inetcore), Masaaki Mizumura, Hajime Masaoka (Kochi Univ. of Tech.), Hiroshi Ikeda, Ikuo Nakagawa (Inetcore), Hiroshi Esaki (Univ. of Tokyo)
pp. 19 - 24

SS2006-5
Formal method of real-time statechart
Manabu Tokuda, Satoshi Yamane (Kanazawa Univ.)
pp. 25 - 30

SS2006-6
Proving Termination of Higher-Order Rewrite Systems based on Strongly Computable Dependency Pair Method
Yasuo Isogai, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)
pp. 31 - 36

SS2006-7
A Supporting Method for Generating Scenarios with Differential Scenarios
Masayuki Makino, Atsushi Ohnishi (Ritsumeikan Univ.)
pp. 37 - 42

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan