| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS |
2005-01-20
13:00 |
Miyazaki |
Miyazaki University, Kibana Campus |
Comparison of CafeOBJ and Coq by Fomally Specifying and Verifying STS protocol
Kotaro Hara (JAIST), Kazuhiro Ogata (NEC/JAIST), Masaki Nakamura, Kokichi Futatsugi (JAIST) |
[more] |
SS2004-43
pp.1-6 |
| SS |
2005-01-20
13:30 |
Miyazaki |
Miyazaki University, Kibana Campus |
A Web Application Framework for developing Rich Clients
Ichiro Akita, Naruki Mitsuda, Naoki Fukuyasu, Atsushi Yoshida, Tsuneo Ajisaka (Wakayama Univ.) |
The purpose of this research is supporting the Web application development which utilized the power of expression on a c... [more] |
SS2004-44
pp.7-12 |
| SS |
2005-01-20
14:00 |
Miyazaki |
Miyazaki University, Kibana Campus |
Ripple Down Rules, a practical method of learning from code rewrites
Eddy Parkinson, Shinji Kawaguchi, Katsuro Inoue (Osaka Univ.) |
[more] |
SS2004-45
pp.13-17 |
| SS |
2005-01-20
14:30 |
Miyazaki |
Miyazaki University, Kibana Campus |
Study on an Automatic Visualization Tool for Java to Educate Novice Programmers
Yoshihiro Kita, Takanori Kawasoe, Tetsuro Katayama (Univ. of Miyazaki) |
The demand for software is increasing more rapidly than ever.
The demand for the programmers is increasing.
It is imp... [more] |
SS2004-46
pp.19-24 |
| SS |
2005-01-20
15:15 |
Miyazaki |
Miyazaki University, Kibana Campus |
Extraction of the Conversion Rules to Support the Programming from UML to Java Source Codes
Kiyohito Shimomura, Tetsuro Katayama (Univ. of Miyazaki) |
In recent years, the object-oriented development cases with UML are increasing.
Moreover, since competition of a market... [more] |
SS2004-47
pp.25-30 |
| SS |
2005-01-20
15:45 |
Miyazaki |
Miyazaki University, Kibana Campus |
N/A
Ryuugen Hayashida, Masanori Iwamoto, -, Jianjun Zhao (FIT) |
[more] |
SS2004-48
pp.31-35 |
| SS |
2005-01-20
16:15 |
Miyazaki |
Miyazaki University, Kibana Campus |
Report on the Automated Software Engineering 2004
Yuji Sakata, Shigeyuki Matsuda, Shuichiro Yamamoto (NTT Data), Motoshi Saeki (Tokyo Tech), Shinichi Honiden (NII/Univ Tokyo) |
The 19th international conference on automated software engineering, which was one of the major conferences on software ... [more] |
SS2004-49
pp.37-42 |
| SS |
2005-01-20
16:45 |
Miyazaki |
Miyazaki University, Kibana Campus |
Extracting Method of Dynamic Communities from Software Development Histories
Kei Sasaki, Makoto Matsushita, Katsuro Inoue (Osaka Univ) |
The development history imformation includes much information which is useful to future development. Developers can obta... [more] |
SS2004-50
pp.1-6 |
| SS |
2005-01-21
09:00 |
Miyazaki |
Miyazaki University, Kibana Campus |
Contro Flow Analysis for AspectJ Programs
Shinsuke Yoshioka, Masanori Iwamoto, Ryuugen Hayashida, Jianjun Zhao (FIT) |
[more] |
SS2004-51
pp.7-10 |
| SS |
2005-01-21
09:30 |
Miyazaki |
Miyazaki University, Kibana Campus |
A Support Method for Changing Influenced Parts in Modifying GUI Widgets
Kazuhiro Fukaya (Waseda Univ.), Junko Shirogane (Tokyo Women's Univ.), Yoshiaki Fukazawa (Waseda Univ.) |
Recently we make much account of the usability of software due to the expansion of the range of users. To realize user-f... [more] |
SS2004-52
pp.11-16 |
| SS |
2005-01-21
10:00 |
Miyazaki |
Miyazaki University, Kibana Campus |
Analysis of program comprehension that has effects on the code review achievement
Susumu Kuriyama, Masao Ohira, Akito Monden, Ken-ichi Matsumoto (NAIST) |
The goal of this study is to analyze the relationship between the level of program comprehension and the bug detection r... [more] |
SS2004-53
pp.17-22 |
| SS |
2005-01-21
10:45 |
Miyazaki |
Miyazaki University, Kibana Campus |
An Understanding Cost Calculation Tool for Static Java Program Structure
Takahisa Baba, Tetsuro Kakeshita (Saga Univ.) |
We have proposed the notion of understanding cost in order to evaluate understandability of a program. In this paper, w... [more] |
SS2004-54
pp.23-28 |
| SS |
2005-01-21
11:15 |
Miyazaki |
Miyazaki University, Kibana Campus |
An Education Support Tool Perseus for Structured Algorithm Construction
Tomomi Fujisaki, Tetsuro Kakeshita (Saga Univ.) |
[more] |
SS2004-55
pp.29-34 |