| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS |
2005-10-13
13:00 |
Saitama |
Jumonji University |
Generation of a Control Flowgraph Including Information of Call relations Among Objects for Java Programs
Takanori Kawasoe, Tetsuro Katayama (Univ of Miyazaki) |
In Java, a method or a variable might be called as an object.
The method is executed when it is called by the object.
... [more] |
SS2005-40
pp.1-6 |
| SS |
2005-10-13
13:30 |
Saitama |
Jumonji University |
Introduction of "Degree of Difficulty" into the Enhanced-Overlay-Model and its Effect
Masato Sakurai, Yutaka Sunaga, Yousuke Yamamoto, Kazuhiro Uenosono, Hiroaki Hashiura, Seiichi Komiya (SIT) |
Since most of the CAI System which has been put to practical use to date presents the same screen page of a teaching mat... [more] |
SS2005-41
pp.7-12 |
| SS |
2005-10-13
14:00 |
Saitama |
Jumonji University |
Extracting Services from Legacy Software Based on Data Dependency Analysis
Takahiro Kimura, Masahide Nakamura, Hiroshi Igaki, Ken-ichi Matsumoto (NAIST) |
To facilitate adaptation of legacy software for the service-oriented architecture (SOA), this paper presents a method th... [more] |
SS2005-42
pp.13-18 |
| SS |
2005-10-13
14:30 |
Saitama |
Jumonji University |
Practical Hypotheses on Software Development
Noboru Hattori, Chizuru Soejima, Shuichiro Yamamoto (NTT DATA) |
This paper describes a method to improve software process based on the evaluation of practical hypotheses on software de... [more] |
SS2005-43
pp.19-26 |
| SS |
2005-10-13
15:15 |
Saitama |
Jumonji University |
A Learning Support System for Programming Based on Test Driven Development
-- Self Training Architecture for Novice Developers --
Eisuke Yoshida (Hiroshima Univ.), Hirotsugu Kakugawa (Osaka Univ.) |
In this paper, we describe a learning support system STAND for computer programming based on test driven development. To... [more] |
SS2005-44
pp.27-32 |
| SS |
2005-10-13
15:45 |
Saitama |
Jumonji University |
A Comparison of Effectiveness between Job Aalysis Chart and Activity Chart in Analysing Office Work
Takuma Tatematsu (SIT), Akira Kojima (NEC Soft), Takahito Kiguchi (SIT), (Fuji Electric AT), Seiichi Komiya (SIT) |
[more] |
SS2005-45
pp.33-38 |
| SS |
2005-10-13
16:15 |
Saitama |
Jumonji University |
On Completeness of Outermost Strategy for Overlapping TRSs
Atsushi Iwata, Masahiko Sakai, Naoki Nishida, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
Strategies in term rewriting systems (TRSs) indicate a position of a given term to be reduced. Since a term generally ha... [more] |
SS2005-46
pp.39-44 |
| SS |
2005-10-13
16:45 |
Saitama |
Jumonji University |
A Comparison of Effort Prediction Methods Using Similar Projects
Masateru Tsunoda, Takeshi Kakimoto, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto (NAIST) |
[more] |
SS2005-47
pp.45-50 |
| SS |
2005-10-14
09:00 |
Saitama |
Jumonji University |
Detection and Repair of Inconsistency in UML Models using XPath adn XMI-difference
Toru Sasaki, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
In this paper, we propose a method for detection and repair of inconsistency in UML models. The method utilizes conditio... [more] |
SS2005-48
pp.1-6 |
| SS |
2005-10-14
09:30 |
Saitama |
Jumonji University |
Automatic generation of post-conditions for Java methods by limited utilization of Daikon
Yasunobu Kajita, Kozo Okano, Shinji Kusumoto (Osaka Univ.) |
Recently, the application of Design by Contract(DbC) to Java is concerned.The contracts can be made by describing pre-co... [more] |
SS2005-49
pp.7-12 |
| SS |
2005-10-14
10:00 |
Saitama |
Jumonji University |
A New Architecture for Trust Management with User Presence
Jun Noda (NEC), Hisashi Mouri (NAIST), Yoshiaki Takata, Hiroyuki Seki (NEC/NAIST), Daigo Taguchi, Mie Takahashi, Itaru Hosomi (NEC) |
This paper proposes a flexible trust management method that assigns a trust to the user based on digital certificates as... [more] |
SS2005-50
pp.13-18 |
| SS |
2005-10-14
10:30 |
Saitama |
Jumonji University |
Parametric Verification towards Design of Real-Time Systems
Chaiwat Sathawornwichit, Takuya Katayama (JAIST) |
Timing characteristic is an important point of concern in the design of real-time systems,
because the systems are to o... [more] |
SS2005-51
pp.19-24 |
| SS |
2005-10-14
11:15 |
Saitama |
Jumonji University |
Dynamic reconfiguration and composition of Apache based on feature-oriented analysis
Hiroaki Tanizaki, Takuya Katayama (JAIST) |
In this paper, we propose the technique of dynamic reconfiguration and composition of the software based on the feature-... [more] |
SS2005-52
pp.25-30 |
| SS |
2005-10-14
11:45 |
Saitama |
Jumonji University |
Communication model among Statecharts: An approach using characteristic event sequences
Hsin-Hung Lin, Takuya Katayama (JAIST) |
[more] |
SS2005-53
pp.31-36 |
| SS |
2005-10-14
12:15 |
Saitama |
Jumonji University |
Visualizing Program Modification Process Based on Program Structure Variety
Ryouhei Mizuho (Grad School of Shimane Univ.), Kouta Tsuchida (Shimane Univ.), Takahiro Hamana (Grad School of Shimane Univ.), Tadamasa Satou (Shimane Univ.) |
In programming, programs are rarely completed without corrections. According to the corrections the source codes vary. H... [more] |
SS2005-54
pp.37-42 |