| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka Secretary: Katsuhiko Gondow, Keiichirou Kusakari =============================================== Technical Committee on Knowledge-Based Software Engineering (KBSE) Chair: Takahira Yamaguchi Vice Chair: Hiroyuki Yamada Secretary: Tomoyuki Azuma, Mina Akaishi Assistant: Naoki Fukuda, Masato Yaegashi DATE: Thu, Oct 26, 2006 13:15 - 17:30 Fri, Oct 27, 2006 09:20 - 12:30 PLACE: Ehime University(3, Bunkyo-cho, Matsuyama, Ehime, 790-8577 Japan. http://www.ehime-u.ac.jp/map/access.html#johoku_l. Assoc. Prof. Hiroyuki Yamada. 089-927-9963) TOPICS: ---------------------------------------- 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) ----- 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.) ----- 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.) ----- 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.) # Information for speakers General Talk will have 18 minutes for presentation and 7 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Dec 14, 2006 - Fri, Dec 15, 2006: Kyushu University [Fri, Oct 20], Topics: general # SECRETARY: KUSAKARI Keiichirou (Nagoya University) TEL 052-789-3973 FAX 052-789-3801 E-mail:      is    -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Fri, Nov 24, 2006 - Sat, Nov 25, 2006: Univ of Ryukyus(Faculty of engineering) [Fri, Sep 15] Mon, Jan 22, 2007 - Tue, Jan 23, 2007: KEIO UNIVERSITY [Mon, Nov 13] # SECRETARY: Tomoyuki Azuma (NTT Data) E-mail: adu  t    Last modified: 2010-10-12 19:35:48 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] / [Return to KBSE Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]