IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

===============================================
Technical Committee on Software Science (SS)
Chair: Shin Nakajima (NII) Vice Chair: Shoji Yuen (Nagoya Univ.)
Secretary: Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.)
Assistant: Takashi Kobayashi (Nagoya Univ.)

===============================================
Special Interest Group on Software Engineering (IPSJ-SE)


DATE:
Thu, Nov 1, 2012 10:00 - 21:00
Fri, Nov 2, 2012 09:20 - 17:30

PLACE:
Hiroshima City University(http://www.hiroshima-cu.ac.jp/english/category0029.html)

TOPICS:
Software science, theory

----------------------------------------
Thu, Nov 1 AM (10:00 - 11:25)
----------------------------------------

(1)/SS 10:00 - 10:25
Weather change pattern generation algorithm for sightseeing scheduling
Hirokazu Katoh, Yoshihiro Murata (Hiroshima City Univ.)

(2)/SS 10:25 - 10:50
A SAT Encoding for Finding Operation Sequences of Malbolge that Implement Trit-wise Functions
Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)

(3)/SS 10:50 - 11:15
Node Query Preservation for Deterministic Linear Top-Down Tree Transducers
Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki (NAIST)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Nov 1 AM (11:25 - 13:15)
----------------------------------------

(4) 11:25 - 11:50


(5) 11:50 - 12:15


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

----------------------------------------
Thu, Nov 1 PM (13:15 - 14:15)
----------------------------------------

(6)/SS 13:15 - 13:40
Application of formal methods to network behavior dependent systems
Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM)

(7)/SS 13:40 - 14:05
A discussion of fault patterns for concurrent systems
Han-Myung Chang, Masami Noro, Atsushi Sawada, Atsushi Yoshida, Yoshinari Hachisu, Reishi Yokomori (Nanzan Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Thu, Nov 1 PM (14:15 - 15:15)
----------------------------------------

(8) 14:15 - 14:40


(9) 14:40 - 15:05


----- Break ( 10 min. ) -----

----------------------------------------
Thu, Nov 1 PM (15:15 - 21:00)
----------------------------------------

(10) 15:15 - 15:40


(11) 15:40 - 16:05


(12)/SS 16:05 - 16:30
A Report on the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012)
Shinpei Hayashi (Tokyo Tech.), Katsuhisa Maruyama (Ritsumeikan Univ.), Motoshi Saeki (Tokyo Tech.)

----- Break ( 90 min. ) -----

----- Break ( 120 min. ) -----

----------------------------------------
Fri, Nov 2 AM (09:20 - 11:10)
----------------------------------------

(13) 09:20 - 09:45


(14) 09:45 - 10:10


(15) 10:10 - 10:35


(16) 10:35 - 11:00


----- Break ( 10 min. ) -----

----------------------------------------
Fri, Nov 2 AM (11:10 - 13:00)
----------------------------------------

(17)/SS 11:10 - 11:35
An Empirical Study of Clone Disappearances on Open Source Software Projects
Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)

(18)/SS 11:35 - 12:00
A Clone Detection Approach for a Collection of Similar Large-Scale Software Products
Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Yoshiki Higo, Katsuro Inoue (Osaka Univ.)

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

----------------------------------------
Fri, Nov 2 PM (13:00 - 14:25)
----------------------------------------

(19)/SS 13:00 - 13:25
Extraction traceability links between requirements and implementation in the same series of software products
Ryosuke Tsuchiya, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.), Tadahisa Kato, Masumi Kawakami, Kentaro Yoshimura (Hitachi)

(20)/SS 13:25 - 13:50
A Method to Extract Use Cases From Web Applications With Analysis of Screenshot Trace
Tsubasa Oikawa, Toshihiro Kamiya (FUN)

----- Break ( 10 min. ) -----

----------------------------------------
Fri, Nov 2 PM (14:25 - 15:50)
----------------------------------------

(21) 14:25 - 14:50


(22) 14:50 - 15:15


----- Break ( 10 min. ) -----

(23) 15:25 - 15:50


----------------------------------------
Fri, Nov 2 PM (15:50 - 17:30)
----------------------------------------

(24) 15:50 - 16:15


(25) 16:15 - 16:40


(26) 16:40 - 17:05


(27) 17:05 - 17:30


# Information for speakers
General Talk will have 17 minutes for presentation and 8 minutes for discussion.


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

Thu, Jan 10, 2013 - Fri, Jan 11, 2013: [Mon, Nov 19]

# SECRETARY:
Hironori Washizaki (Waseda University)
TEL: 03-5286-3272
FAX: 03-5286-3272
E-mail:

# ANNOUNCEMENT:
# Latest information will be presented on the homepage
http://www.washi.cs.waseda.ac.jp/sigss/

=== Special Interest Group on Software Engineering (IPSJ-SE) ===


Last modified: 2012-10-27 15:43:59


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]   /   [Return to IPSJ-SE Schedule Page]   /  
 
 Go Top  Go Back   / [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