===============================================
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, Dec 17, 2009 13:40 - 18:00
Fri, Dec 18, 2009 08:40 - 12:30
PLACE:
Saiwai-cho Campus, Kagawa University(1-1, Saiwai-cho, Takamatsu-shi, Kagawa, 760-8521 Japan.http://www.kagawa-u.ac.jp//info/map/saiwai.html. Prof. Zengo Furukawa. +81-87-837-9877)
TOPICS:
general
----------------------------------------
Thu, Dec 17 PM (13:40 - 18:00)
----------------------------------------
(1) 13:40 - 14:10
Application of Open Distributed Aspect-Oriented Framework to Intelligent Transportation Systems
Ryoto Naruse, Jun Nomura, Keiji Hokamura, Naoyasu Ubayashi (kyushu inst. of tech.), Takahiro Shidai, Akihito Iwai (Denso Corp.)
(2) 14:10 - 14:40
Development Methods for Domain Specific Language Processors
Akira Sasaki, Hiroshi Ichikawa (Housei Univ.)
(3) 14:40 - 15:10
A Method to Compose Regular Web Pages from Mobile Web Pages
-- Web Page Modeling and Evaluation --
Hiroki Katsumata (Waseda Univ.), Kouichi Ono (IBM-J), Yoshiaki Fukazawa (Waseda Univ.)
----- Break ( 10 min. ) -----
(4) 15:20 - 15:50
Precise Analysis of Web Application for SQL Injection Vulnerability by an Analysis of Condition Expressions
Tomonori Ohashi, Heng Li, Seikoh Nishita (Takushoku Univ.)
(5) 15:50 - 16:20
Argument Filtering and Usable Rules in Higher-Order Rewrite Systems
Sho Suzuki, Keiichirou Kusakari, Toshiki Sakabe, Masahiko Sakai, Naoki Nishida (Nagoya Univ.)
(6) 16:20 - 16:50
On Decidability of Context-Sensitive Termination for Right-Linear Right-Shallow Term Rewriting Systems
Yoshimasa Mishuku, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
----- Break ( 10 min. ) -----
(7) 17:00 - 18:00
[Invited Talk]
(TBD) Software Testing
Zengo Fukuyawa, Tomohiko Takagi (Kagawa Univ.)
----------------------------------------
Fri, Dec 18 AM (08:40 - 12:30)
----------------------------------------
(8) 08:40 - 09:10
Program Generation Based on Transformation of Conditional Equations
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida, Keiichirou Kusakari (Nagoya Univ.)
(9) 09:10 - 09:40
A modelling of computer processing as transformation of representation
Fumiko Kouda, Takashi Chikayama (Univ. of Tokyo.)
(10) 09:40 - 10:10
A behavioral model for debugging multicore real-time applications based on execution traces
Hiroki Mizuno, Shoji Yuen (Nagoya Univ)
----- Break ( 10 min. ) -----
(11) 10:20 - 10:50
Refactoring Support by Searching Applicable Steps to Change Source Code
Ryo Fukushima, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ)
(12) 10:50 - 11:20
A Change Impact Analysis Based Testing Tool for Refactoring
Masatomo Yoshida, Norihiro Yoshida, Makoto Matsushita, Katsuro Inoue (Osaka Univ.)
----- Break ( 10 min. ) -----
(13) 11:30 - 12:00
Low Quality Module Prediction from Design Documents Metrics using Software Tag
Shinichi Katayama, Kimiharu Ohkura, Kyohei Fushida, Shinji Kawaguchi (NAIST), Masataka Nagura (NAIST/Hitachi), Akito Monden, Hajimu Iida (NAIST)
(14) 12:00 - 12:30
A Trend Prediction of Code Churn in Open Source Development
-- An Application of Growth Curve Model --
Hirohisa Aman (Ehime Univ.)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
Invited Talk will have 45 minutes for presentation and 15 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Mon, Mar 8, 2010: Kagoshima Univ. [Tue, Jan 19], 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-12-15 16:35:04
|
Notification: Mail addresses are partially hidden against SPAM.
|