Thu, Oct 26 PM 13:15 - 17:30 |
(1) |
13:15-13:40 |
Detecting Web Application Vulnerabilities with Static Analysis |
Seikoh Nishita (Takushoku Univ.) |
(2) |
13:40-14:05 |
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.) |
(3) |
14:05-14:30 |
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) |
|
14:30-14:45 |
Break ( 15 min. ) |
(4) |
14:45-15:10 |
A Trace and Analysis of Source Code Change Chain on Maintenance Phase |
Jun Morisaki, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
(5) |
15:10-15:35 |
A Study of Relationship between Class Cohesion and Corrective Maintainability |
Junichi Yamashita, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
(6) |
15:35-16:00 |
A Relationship between Source Code External Dependency and Maintainability |
Michio Doi, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
|
16:00-16:15 |
Break ( 15 min. ) |
(7) |
16:15-16:40 |
Example programs generated by GeneSys and proposal of Introduction rule |
Satoru Kondo, Masahiko Sakai, Naoki Nishida, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
(8) |
16:40-17:05 |
Supporting Generation of Exceptional Scenarios with a Normal Scenario |
Hiroki Shudo, Taishi Yamamoto, Atsushi Ohnishi (Ritsumeikan Univ.) |
(9) |
17:05-17:30 |
Report on the 18th International Conference on Advanced Information Systems Engineering |
Shinobu Saito, Shuichiro Yamamoto (NTT DATA), Motoshi Saeki (Tokyo Institute of Technology) |
Fri, Oct 27 AM 09:20 - 12:30 |
(10) |
09:20-09:45 |
Variable Selection for Effort Estimation based on Similarity of Projects |
Shinya Taki, Takeshi Kakimoto, Masateru Tsunoda, Naoki Ohsugi, Akito Monden, Ken-ichi Matsumoto (NAIST) |
(11) |
09:45-10:10 |
A Dependency Analysis Focused on Change Histories |
Hidetake Iwata, Hirohisa Aman, Hiroyuki Yamada (Ehime Univ.) |
(12) |
10:10-10:35 |
A requirements Elicitation Support Method on Domain Model |
Hideaki Miyanishi, Hiroyuki Yamada, Hirohisa Aman (Ehime Univ.) |
|
10:35-10:50 |
Break ( 15 min. ) |
(13) |
10:50-11:15 |
The XBRL document creation support system for beginners |
Yusuke Jinguji, Yoshimichi Watanabe (Univ. of Yamanashi) |
(14) |
11:15-11:40 |
A development of a software which provides high mobility for Windows programs with API Hook. |
Masataka Saitoh, Takuya Koumoto, Yuji Sugiyama (Okayama Univ.) |
(15) |
11:40-12:05 |
Development of Web Applications based on Business Ontologies |
Keiichi Kondo, Takeshi Morita (Keio Univ.), Noriaki Izumi (AIST), Takahira Yamaguchi (Keio Univ.), Koiti Hasida (AIST) |
(16) |
12:05-12:30 |
An implementation of Mathematical Web Services And Their Process Execution |
Tomomi Nakanishi, Riyo Ikeda, Hiroshi Kai (Ehime Univ.) |