Mon, Jan 23 PM
12:30 - 14:05 |
| |
12:30-12:35 |
( 5 min. ) |
| (1) |
12:35-13:20 |
SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- |
Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) |
| (2) |
13:20-14:05 |
Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners |
Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) |
| |
14:05-14:20 |
Break ( 15 min. ) |
Mon, Jan 23 PM
14:20 - 16:35 |
| (3) |
14:20-15:05 |
[Invited Talk]
Summary of the International Comparative Research about the Treatment of Software Engineers
-- from a Report of the IPA Sponsored Research -- |
Yoshifumi Nakata (Doshisha Univ.) |
| (4) |
15:05-15:50 |
[Invited Talk]
Comparison of Software productivity across Countries by Analyzing International Benchmark Data |
Tsuneo Furuyama (Tokai Univ.) |
| (5) |
15:50-16:35 |
[Invited Talk]
AUTOSAR: The Global Partnership for Automotive Software Development |
Hiroyuki Takashima (Nagoya Univ.) |
Tue, Jan 24 AM
10:00 - 12:15 |
| (6) |
10:00-10:45 |
A GSN development approach for Feature models |
Hiroyuki Utsunomiya, Shuichiro Yamamoto (Nagoya Univ.) |
| (7) |
10:45-11:30 |
Formal Verification Approach on O-DA for Component Based Development |
Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) |
| (8) |
11:30-12:15 |
Trend and Issues on Assured Architecture Development Method for O-DA |
Shuichiro Yamamoto (Nagoya Univ.) |
| |
12:15-13:20 |
Break ( 65 min. ) |
Tue, Jan 24 PM
13:20 - 15:00 |
| (9) |
13:20-14:05 |
Method for Designing Training Data for a QA System using Consumer and Service Modeling |
Hironori Takeuchi, Shiki Akihara (IBM) |
| (10) |
14:05-14:50 |
Removal of Spike-like noise in Functional near-infrared spectroscopy |
Yuya Sekiguchi, Kiyoshi Hoshino (Univ.Tsukuba), Motomasa Tomida, Hajime Kotani (Crescent,inc.) |
| |
14:50-15:00 |
( 10 min. ) |
: ii
ae
io