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: Tsuneo Ajisaka (Wakayama Univ.) Vice Chair: Hiroyuki Seki (NAIST)
Secretary: Naruki Mitsuda (Wakayama Univ.), Keiichirou Kusakari (Nagoya Univ.)

DATE:
Thu, Aug 6, 2009 10:30 - 17:30
Fri, Aug 7, 2009 09:00 - 12:15

PLACE:
Kitami Institute of Technology(165 Koen-cho kitami, Hokkaido 090-8507, JAPAN. Dr. Fumitaro GOTO)

TOPICS:
general

----------------------------------------
Thu, Aug 6 AM (10:30 - 17:30)
----------------------------------------

(1) 10:30 - 11:00
A Structure Analysis Method for Programs with Recursive Calls
Masanori Ohdan (Shimane Univ.), Tadamasa Satou

(2) 11:00 - 11:30
A Prototype Implementation of Reverse-Engineering Toolkit: Remics
Toshihiro Kamiya (AIST)

(3) 11:30 - 12:00
Formalization of AST Conversion for Applying CASE Tools to Other Programming Languages.
Isamu Hasegawa (Nomura Research Institute, Ltd.), Katsuhiko Gondow (Tokyo Inst. of Tech.)

----- Lunch Break ( 60 min. ) -----

(4) 13:00 - 13:30
Archface: An Interface Mechanism for Bridging a Gap between Architectural Design and Implementation
Jun Nomura, Naoyasu Ubayashi (Kyushu Institute of Technology)

(5) 13:30 - 14:00
Incremental Feature Location Using Dynamic Slicing
Katsuyuki Sekine, Teruyoshi Zenmyo, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.)

(6) 14:00 - 14:30
Software Classification According to their Functionality based on Used Classes
Tomoyoshi Ushimado, Akito Monden (NAIST), Haruaki Tamada (Kyoto Sangyo Univ), Ken-ichi Matsumoto (NAIST)

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

(7) 14:45 - 15:15
Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2
Akihiko Ito, Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto (Osaka Univ.)

(8) 15:15 - 15:45
Rodin Plugin to Link Event-B with SPIN
Thomas Muller, Shin Nakajima (NII)

(9) 15:45 - 16:15
On Formalizing Behavioral Aspects of Reflective Computation
Takuo Watanabe (Tokyo Inst. of Tech.)

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

(10) 16:30 - 17:00
A study on cost-effective software configuration management for the maintenance of system
Yuji Sakata, Shinji Iwasaki, Shuichiro Yamamoto (NTT Data Corp.)

(11) 17:00 - 17:30
Requirements Validation Criteria and Method based on Actors Interaction
Noboru Hattori (NTT DATA/Wakayama Univ.), Shuichiro Yamamoto (NTT DATA), Tsuneo Ajisaka (Wakayama Univ.), Tsuyoshi Kitani (NTT DATA)

----------------------------------------
Fri, Aug 7 AM (09:00 - 12:15)
----------------------------------------

(12) 09:00 - 09:30
Automatic Generation of Access Control Command from Information Flow Specification
Yoshimasa Morita, Yoshiaki Takata (Kochi Univ. of Tech.), Hiroyuki Seki (NAIST)

(13) 09:30 - 10:00
Automating Equivalence Partitioning in Test Case Generation with a Computer Algebra System
Satoshi Hattori (Tokyo Inst. of Tech.)

(14) 10:00 - 10:30
Guidelines and Anti-Patterns for Feature Modeling to Predesign Software Architecture
Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.)

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

(15) 10:45 - 11:15
Discrimination of Unsuitable Estimation Project in Estimation by Analogy
Tetsuaki Nakamura, Takeshi Kakimoto, Shinji Kusumoto (Osaka Univ.)

(16) 11:15 - 11:45
Metrics to Validate Software Maintenance Process using Bug Tracking System
Kyohei Fushida, Shinji Kawaguchi, Hajimu Iida (NAIST)

(17) 11:45 - 12:15
On the Job Learing: A New Software Engineering Education Method on Collaboration between Academia and Industry
Takashi Kobayashi (Nagoya Univ.), Atsushi Sawada (Nanzan Univ.), Shinichiro Yamamoto (AIchi Pref. Univ), Masami Noro (Nanzan Univ.), Kiyoshi Agusa (Nagoya Univ.)

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


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

Thu, Oct 15, 2009 - Fri, Oct 16, 2009: Shinshu University [Fri, Aug 21], Topics: general

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

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://sdlab.sys.wakayama-u.ac.jp/ss/


Last modified: 2009-09-07 13:28:06


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]   /  
 
 Go Top  Go Back   Prev SS Conf / Next SS Conf [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan