| Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
| SS, KBSE |
2006-10-26
13:15 |
Ehime |
Ehime University |
Detecting Web Application Vulnerabilities with Static Analysis
Seikoh Nishita (Takushoku Univ.) |
This paper describes a technique for detecting vulnerability of Web applications such as SQL injection and cross-site sc... [more] |
SS2006-40 KBSE2006-16
pp.1-6 |
| SS, KBSE |
2006-10-26
13:40 |
Ehime |
Ehime University |
Approach to Software Verification Based on Transforming from Procedural Programs to Rewrite Systems
Yuki Furuichi, Naoki Nishida, Masahiko Sakai, Keiichirou Kusakari, Toshiki Sakabe (Nagoya Univ.) |
In the field of term rewriting, inductionless induction and rewriting
induction have been widely studied as methods for... [more] |
SS2006-41 KBSE2006-17
pp.7-12 |
| SS, KBSE |
2006-10-26
14:05 |
Ehime |
Ehime University |
Security Analysis of Information Flow for An Object-Oriented Language with Exception Handling
Sho Kurokawa, Hiroaki Kuwabara (Nagoya Univ), Shinichiro Yamamoto (Aichi Prefectural Univ), Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ) |
In this paper, we propose a type system for verifying that secret data don't leak from an object-oriented program with e... [more] |
SS2006-42 KBSE2006-18
pp.13-18 |
| SS, KBSE |
2006-10-26
14:45 |
Ehime |
Ehime University |
A Trace and Analysis of Source Code Change Chain on Maintenance Phase
Jun Morisaki, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
[more] |
SS2006-43 KBSE2006-19
pp.19-24 |
| SS, KBSE |
2006-10-26
15:10 |
Ehime |
Ehime University |
A Study of Relationship between Class Cohesion and Corrective Maintainability
Junichi Yamashita, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
[more] |
SS2006-44 KBSE2006-20
pp.25-30 |
| SS, KBSE |
2006-10-26
15:35 |
Ehime |
Ehime University |
A Relationship between Source Code External Dependency and Maintainability
Michio Doi, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
[more] |
SS2006-45 KBSE2006-21
pp.31-36 |
| SS, KBSE |
2006-10-26
16:15 |
Ehime |
Ehime University |
Example programs generated by GeneSys and proposal of Introduction rule
Satoru Kondo, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
Program Generation System GeneSys is a method for generating executable programs from specifications described in first-... [more] |
SS2006-46 KBSE2006-22
pp.37-42 |
| SS, KBSE |
2006-10-26
16:40 |
Ehime |
Ehime University |
Supporting Generation of Exceptional Scenarios with a Normal Scenario
Hiroki Shudo, Taishi Yamamoto, Atsushi Ohnishi (Ritsumeikan Univ.) |
A generation method of exceptional scenarios with a normal scenario is proposed. This method includes (1) generation of ... [more] |
SS2006-47 KBSE2006-23
pp.43-48 |
| SS, KBSE |
2006-10-26
17:05 |
Ehime |
Ehime University |
Report on the 18th International Conference on Advanced Information Systems Engineering
Shinobu Saito, Shuichiro Yamamoto (NTT DATA), Motoshi Saeki (Tokyo Institute of Technology) |
The 18th International Conference on Advanced Information Systems (CAiSE’06), which was concerned with Systems Engineeri... [more] |
SS2006-48 KBSE2006-24
pp.49-54 |
| SS, KBSE |
2006-10-27
09:20 |
Ehime |
Ehime University |
Variable Selection for Effort Estimation based on Similarity of Projects
Shinya Taki, Takeshi Kakimoto, Masateru Tsunoda, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto (NAIST) |
[more] |
SS2006-49 KBSE2006-25
pp.1-6 |
| SS, KBSE |
2006-10-27
09:45 |
Ehime |
Ehime University |
A Dependency Analysis Focused on Change Histories
Hidetake Iwata, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
[more] |
SS2006-50 KBSE2006-26
pp.7-12 |
| SS, KBSE |
2006-10-27
10:10 |
Ehime |
Ehime University |
A requirements Elicitation Support Method on Domain Model
Hideaki Miyanishi, Hiroyuki Yamada, Hirohisa Aman (Ehime Univ.) |
[more] |
SS2006-51 KBSE2006-27
pp.13-18 |
| SS, KBSE |
2006-10-27
10:50 |
Ehime |
Ehime University |
The XBRL document creation support system for beginners
Yusuke Jinguji, Yoshimichi Watanabe (Univ. of Yamanashi) |
[more] |
SS2006-52 KBSE2006-28
pp.19-24 |
| SS, KBSE |
2006-10-27
11:15 |
Ehime |
Ehime University |
A development of a software which provides high mobility for Windows programs with API Hook.
Masataka Saitoh, Takuya Koumoto, Yuji Sugiyama (Okayama Univ.) |
[more] |
SS2006-53 KBSE2006-29
pp.25-30 |
| SS, KBSE |
2006-10-27
11:40 |
Ehime |
Ehime University |
Development of Web Applications based on Business Ontologies
Keiichi Kondo, Takeshi Morita (Keio Univ.), Noriaki Izumi (AIST), Takahira Yamaguchi (Keio Univ.), Koiti Hasida (AIST) |
[more] |
SS2006-54 KBSE2006-30
pp.31-36 |
| SS, KBSE |
2006-10-27
12:05 |
Ehime |
Ehime University |
An implementation of Mathematical Web Services And Their Process Execution
Tomomi Nakanishi, Riyo Ikeda, Hiroshi Kai (Ehime Univ.) |
[more] |
SS2006-55 KBSE2006-31
pp.37-42 |