===============================================
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
===============================================
Technical Committee on Software Science (SS)
Chair: Toshiki Sakabe Vice Chair: Tsuneo Ajisaka
Secretary: Katsuhiko Gondow, Keiichirou Kusakari
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 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: adut
=== 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/
Last modified: 2010-10-12 19:35:48
|
Notification: Mail addresses are partially hidden against SPAM.
|