ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Software Science (SS)
Chair: Motoshi Saeki Vice Chair: Toshiki Sakabe
Secretary: Katsuhiko Gondow, Makoto Matsushita

DATE:
Thu, Feb 2, 2006 13:30 - 17:15
Fri, Feb 3, 2006 09:30 - 12:45

PLACE:
Fukuoka Laboratory for Emerging and Enabling Technology of SoC(http://www.fleets.jp/access/index.html. Dr. Michihiro Matsumoto. 092-832-2520（代表）)

TOPICS:
general

----------------------------------------
Thu, Feb 2 PM (13:30 - 17:15)
----------------------------------------

(1) 13:30 - 14:00
An analysis method of unexpected obstacles in embedded software by Information Flow Diagram
Hidehiro Kametani (KIT), Yasufumi Shinyashiki, Toshiro Mise (MEW), Masaaki Hashimoto, Naoyasu Ubayashi, Keiichi Katamine (KIT), Takako Nakatani (S-Lagoon)

(2) 14:00 - 14:30
Formal Verification of Refactoring with ESC/Java
Shin Nakajima (NII), Yoshiaki Fukushima, Yusuke Hashimoto, Shinichi Iwasaki (NEC)

(3) 14:30 - 15:00
Experiments for Ontology-based Requirements Elicitation Method
Takayuki Sugiura, Atsushi Ohnishi (Ritsumeikan Univ.)

(4) 15:00 - 15:30
Report on Automated Software Engineering 2005
Kenji Taguchi (NII), Motoshi Saeki (TIT), Shinichi Honiden (NII)

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

(5) 15:45 - 16:15
A supporting method of management of software requirements specification with differential analysis
Kanako Shimizu, Atsushi Ohnishi (Ritsumeikan Univ.)

(6) 16:15 - 16:45
create the framework of active program from pi-expression
Katsumasa Watanabe (NAIST), LO Fuchuan (TOPPAN CFI), Masaki Nakanishi, Shigeru Yamashita (NAIST)

(7) 16:45 - 17:15
Secrecy Verification of Spi Calculus based on Term Regular Expressions
Yoshihiko Tashiro, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)

----------------------------------------
Fri, Feb 3 AM (09:30 - 12:45)
----------------------------------------

(8) 09:30 - 10:00
An AHP Based Technique for Selecting Requirements Alternatives
Takao Yamazaki, Motoshi Saeki (Tokyo Inst. of Tech.)

(9) 10:00 - 10:30
Model Checking Integrated Services of Home Network Systems
Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno (Osaka Univ.)

(10) 10:30 - 11:00
Lexicographic Path Ordering for Proving Termination of Functional Programs
Yumi Hoshino, Keiichirou Kusakari, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.)

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

(11) 11:15 - 11:45
Performance verification considering the network delay for Real-time Distributed Systems with the probabilistic model checker PRISM
Eigo Nagai, Kozo Okano, Shinji Kusumoto (Osaka Univ.)

(12) 11:45 - 12:15
A proposal for Web ApplicationFramework improving Modularity of page and function
Takao Haraguchi (Waseda Univ.), Kouichi Ono (IBM Japan), Yoshiaki Fukazawa (Waseda Univ.)

(13) 12:15 - 12:45
Runtime environment of workflows for change support in a cooperative software development
Masayuki Kotani, Koichiro Ochimizu (JAIST)

# 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, Apr 20, 2006 - Fri, Apr 21, 2006: Niigata Univ., Igarashi Campus [Fri, Feb 17], Topics: general

# SECRETARY:
Katsuhiko Gondow (Tokyo Institute of Technology)
TEL 03-5734-2810
FAX 03-5734-2772
E-mail: