|
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 Talk | Each 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-: |
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.
|