ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Knowledge-Based Software Engineering (KBSE)
Chair: Atsushi Onishi (Ritsumeikan Univ.) Vice Chair: Takako Nakatani (Univ. of Tsukuba)
Secretary: Noriaki Izumi (AIST), Hirohisa Aman (Ehime Univ.)
Assistant: Shinobu Saito (NTT DATA), Hiroya Itoga (Ritsumeikan Univ.)

===============================================
Technical Committee on Software Science (SS)
Chair: Tsuneo Ajisaka (Wakayama Univ.) Vice Chair: Hiroyuki Seki (NAIST)
Secretary: Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.)

DATE:
Thu, May 21, 2009 14:00 - 17:15
Fri, May 22, 2009 09:30 - 12:15

PLACE:
Tegata Campus, Akita University(1-1, Tegata Gakuen-cho, Akita-shi, 010-8502 Japan. http://www.akita-u.ac.jp/english/index.html. Dr. Katsuya Fujiwara)

TOPICS:
general

----------------------------------------
Thu, May 21 PM (14:00 - 17:15)
----------------------------------------

(1) 14:00 - 14:30
Aspect oriented requirement extraction procedure and its application of office design
Komon Ibe (NTT DATA Co./Kyushu Univ.), Shinobu Saito (NTT DATA Co.)

(2) 14:30 - 15:00
Requirement Analysis Technique based on Business Situation and User Dependency
Shinobu Saito, Komon Ibe (NTT Data)

(3) 15:00 - 15:30
An Integrated CASE Tool for Supporting Attributed Goal-Oriented Requirements Analysis Method
Motoshi Saeki, Shinpei Hayashi (Tokyo Inst. of Tech.), Haruhiko Kaiya (Shinshu Univ.)

----- Break ( 15 min. ) -----

(4) 15:45 - 16:15
A Comparing Analysis for Software Analysis Techniques based on activated pattern of cerebral cortex
Mikio Ohki, Toshiki Uehara, Haruki Murase (Nippon Inst. of Tech.)

(5) 16:15 - 16:45
Issues on Analysis Large Dependable System
Shuichiro Yamamoto, Masakazu Kanbe (NTT DATA), Shaoying Liu (Hosei Univ.)

(6) 16:45 - 17:15
Proposal and Implementation of Feature Model Drawing Algorithm
Masaaki Hasuo, Tsuneo Nakanishi, Shigeaki Tagashira, Yutaka Arakawa, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)

----------------------------------------
Fri, May 22 AM (09:30 - 12:15)
----------------------------------------

(7) 09:30 - 10:00
A Design Model Based Methodology for Test Case Extraction and Test Data Generation
Xiaojing Zhang, Takashi Hoshino (NTT)

(8) 10:00 - 10:30
Modeling and Verification of Web Applications Using Formal Approach
Kei Homma (Miyagi Univ.), Kaoru Takahashi (Sendai National Coll. of Tech.), Atsushi Togashi (Miyagi Univ.)

(9) 10:30 - 11:00
An SOS interpreter with negative premises and an equivalence checker by Maude
Jun Ban, Keigo Imai, Shoji Yuen (Nagoya Univ.)

----- Break ( 15 min. ) -----

(10) 11:15 - 11:45
Reuse of the estimation model of error-prone module
Shinya Watanabe, Haruhiko Kaiya, Kenji Kaijiri (Shinshu Univ.)

(11) 11:45 - 12:15
An Application of Control Chart and Growth Curve Model for Estimating Number of Bugs in Open Source Development
Takahiro Ohkochi, Hirohisa Aman (Ehime Univ.)

# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.

=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# FUTURE SCHEDULE:

Thu, Jul 23, 2009 - Fri, Jul 24, 2009: Muroran Institute of Technology [Tue, May 19], Topics: general

# SECRETARY:
Atsushi Ohnishi (Ritsumeikan University)
E-mail: oh

=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:

Thu, Aug 6, 2009 - Fri, Aug 7, 2009: Kitami Institute of Technology [Fri, Jun 19], Topics: general

# SECRETARY:
Naruki Mitsuda (Wakayama Univ.)
TEL 073-457-8433
FAX 073-457-8434
E-mail: