Mon, Mar 7 AM 09:00 - 17:00 |
(1) |
09:00-09:25 |
A Study of Detecting Chain Reaction between Sensor Driven Services |
Takuya Inada, Kousuke Ikegami, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.), Hiroshi Igaki (TUT) |
(2) |
09:25-09:50 |
Application Framework for Developing Personal Remote Controllers in Home Network System |
Keisuke Tokuda, Takuya Inada, Shinsuke Matsumoto, Masahide Nakamura (Koube Univ.) |
(3) |
09:50-10:15 |
A Device Model for Devices with Various Network Protocols |
Satoshi Noguchi, Kenji Suzuki (Mitsubishi Electric) |
(4) |
10:15-10:40 |
A Distributed Real-Time Operating System with Location-Transparent System Calls for Embedded Control Systems |
Takahiro Chiba (TCU), Yuichi Itami (Hitachi JTE Co., Ltd.), Myungryun Yoo, Takanori Yokoyama (TCU) |
|
10:40-10:50 |
Break ( 10 min. ) |
(5) |
10:50-11:15 |
An Aspect-oriented Customization Method for Embedded Operating Systems |
Kazuki Abe, Takanori Yokoyama, Myungryun Yoo (TCU) |
(6) |
11:15-11:40 |
Propose of Real-time Scheduling Algorithm based on Utilization |
Akira Okazaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.) |
(7) |
11:40-12:05 |
A Real-Time Scheduling Algorithm with Decreasing Preemption for Multiprocessor Based on RM |
Kouhei Nishigaki, Myungryun Yoo, Takanori Yokoyama (Tokyo City Univ.) |
|
12:05-13:30 |
Lunch Break ( 85 min. ) |
(8) |
13:30-13:55 |
A Simulink to UML Model Transformation Tool with a Function to Generate Behavioral Models |
Masayoshi Tamura, Tatsuya Kamiyama, Takahiro Soeda, Myungryun Yoo, Takanori Yokoyama (TCU) |
(9) |
13:55-14:20 |
Reusability Evaluation of Past Bug Fixes in Open Source Repositories |
Masaru Shiozuka (KIT), Naoyasu Ubayashi (Kyushu Univ.) |
(10) |
14:20-14:45 |
Towards Objective Estimations of Software Implementation Progress |
Camargo Cruz Ana Erika, Koichiro Ochimizu (JAIST) |
(11) |
14:45-15:10 |
Tree Automata with Constraints and their Closure-Properties |
Katsuhisa Kurahashi, Masahiko Sakai, Naoki Nishida, Futoshi Nomura, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
|
15:10-15:20 |
Break ( 10 min. ) |
(12) |
15:20-15:45 |
A supporting method of scenario retrieval using differential scenarios |
Yusaku Yoshida, Atsushi Ohnishi (Ritsumeikan U.) |
(13) |
15:45-16:10 |
Supporting Class Responsibility Assignment with Responsibility Description |
Motohiro Akiyama, Shinpei Hayashi (Tokyo Tech.), Takashi Kobayashi (Nagoya Univ.), Motoshi Saeki (Tokyo Tech.) |
(14) |
16:10-16:35 |
Analysis and evaluation of open source project evolution based on the automatic classification of SCM data |
Kago Tai, Kenji Kaijiri, Haruhiko Kaiya (Sinsyu Univ.) |
(15) |
16:35-17:00 |
Feature analysis of development style based on noncompliance measurement of coding conventions |
Hitoshi Teraoka, Kenji Kaijiri, Haruhiko Kaiya (Shinshu Univ.) |
Tue, Mar 8 AM 09:00 - 14:45 |
(16) |
09:00-09:25 |
Modular Verification using Bounded Model Checking technique with Test Case Generation |
Yuusuke Hashimoto (Sokendai), Shin Nakajima (NII) |
(17) |
09:25-09:50 |
Towards Verifying Pointer-Manipulating Program using Program Transformation
-- A Case Study with Morris' Binary Tree Traversal Algorithm -- |
Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki (Tokyo Tech) |
(18) |
09:50-10:15 |
A Process Algebra Compiler with Negative Premises |
Jun Ban, Shoji Yuen (Nagoya Univ.) |
(19) |
10:15-10:40 |
Division and verification of Sequential Game Program on GameFrameWork Cerium |
Yusuke Kobayashi, Shinji Kono, Kaito Tagano, Yutaka Kinjo (Ryukyu Univ.) |
|
10:40-10:50 |
Break ( 10 min. ) |
(20) |
10:50-11:15 |
Class Enhancement of our OCL to JML translation tool and Its Application to a Curriculum Management System |
Kiyoyuki Miyazawa, Kentaro Hanada, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
(21) |
11:15-11:40 |
An Environment for PBL Type Software Engineering Education based on Real-time Visualization of Repositories
-- for Holding PBL Class Continuously -- |
Naoki Fukuyasu (Wakayama Univ.), Sachio Saiki (Kochi Univ. of Tech.), Yasuharu Mizutani (OIT) |
(22) |
11:40-12:05 |
Progress Management System for Programming Education by Real-time Access Analysis of HTML-based Learning Material |
Makoto Yamada (TUT), Satoshi Horiguchi (Keio Univ), Hiroshi Igaki, Akifumi Inoue, Tohru Hoshi (TUT) |
|
12:05-13:05 |
Lunch Break ( 60 min. ) |
(23) |
13:05-13:30 |
Software Restructuring Method Based on the Object-Oriented Design Principles |
Yusuke Ichikawa, Shin Aida, Sadahiro Isoda (Toyohashi Tech.) |
(24) |
13:30-13:55 |
A New Code Coverage that Focuses on Edge Pairs in a Control Flow Graph |
Satoru Nishimoto, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.) |
(25) |
13:55-14:20 |
Interaction Histories Mining for Software Change Guide |
Nozomu Kato, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.) |
(26) |
14:20-14:45 |
Improvement Case of Development Process with SysML in Airship Auto Navigation System |
Tetsushi Fukuda, Fumichika Sueyasu, Katsuya Niwaki, Kenji Morita, Kenji Hisazumi, Tsunenori Mine, Naoyasu Ubayashi (Kyushu Univ.), Masayuki Hirayama (IPA/Toshiba), Naoki Hamada (IPA), Takao Futagami (TOYO) |