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) [schedule] [select]
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.)

Conference Date Thu, Jan 10, 2013 13:00 - 17:00
Fri, Jan 11, 2013 09:00 - 12:15
Topics  
Conference Place  

Thu, Jan 10 PM 
13:00 - 14:30
(1) 13:00-13:30 The validity problem of positive XPath queries with sibling axes in the presence of DTDs Yohei Kusunoki (Osaka Univ.), Kenji Hashimoto (NAIST), Yasunori Ishihara, Toru Fujiwara (Osaka Univ.)
(2) 13:30-14:00 Construction of Constrained Tree Automata Recognizing Ground Instances of Constrained Terms Yasuhiro Nakano, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.)
(3) 14:00-14:30 Refinement Planning Shin Nakajima (NII)
  14:30-14:45 Break ( 15 min. )
Thu, Jan 10 PM 
14:45 - 15:45
(4) 14:45-15:15 Design and Implementation of Compilers Constructed using COINS for Language Extensions using APIs Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.)
(5) 15:15-15:45 Using SAT Solvers for Solving Control-Instruction Layout Problems in Low-Level Assembly Programming for Malbolge Satoshi Ando, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
  15:45-16:00 Break ( 15 min. )
Thu, Jan 10 PM 
16:00 - 17:00
(6) 16:00-16:30 On the Probability of Interaction Fault Detection Using Random Testing in the Presence of Constraints on Parameter Values Daiki Shigeoka, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.)
(7) 16:30-17:00 Development of Unit Testing Visualization Tool to Implement Real-Time Visualization of Testing Progress Shingo Matsuoka, Tetsuro Katayama (Miyazaki Univ.)
  18:30-20:30 ( 120 min. )
Fri, Jan 11 AM 
09:00 - 10:00
(8) 09:00-09:30 A supporting method of abstraction of software documents Masato Satonaka, Yoshitaka Iyoda, Atsushi Ohnishi (Ritsumeikan U.)
(9) 09:30-10:00 Research on the clustering towards the improvement in conservativeness of a Simulink model, and bidirectional conversion with an UML model Takayuki Ozawa, Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.)
  10:00-10:15 Break ( 15 min. )
Fri, Jan 11 AM 
10:15 - 12:15
(10) 10:15-10:45 Detection of refactoring targets using a design pattern detection tool Yasuo Yamasaki, Yoshiaki Takata (KUT)
(11) 10:45-11:15 Empirical Study on Inclusion Relation among Software Licenses of Open Source Software Yuki Manabe, Katsuro Inoue (Osaka Univ.)
(12) 11:15-11:45 Feature Dependency Analysis using Control Structure of Preprocess Directive Noritoshi Atsumi (Nagoya Univ.), Takashi Kobayashi (Tokyo Tech.), Kiyoshi Agusa (Kyoto Univ.)
(13) 11:45-12:15 An Energy Profiler for Android Applications Used in the Real World Hiroki Furusho, Kenji Hisazumi (Kyushu Univ.), Takeshi Kamiyama, Hiroshi Inamura (NTT DOCOMO), Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 10 minutes for discussion.

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address 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/


Last modified: 2012-12-20 11:49:55


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