===============================================
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.)
DATE:
Thu, Jan 10, 2013 13:00 - 17:00
Fri, Jan 11, 2013 09:00 - 12:15
PLACE:
TOPICS:
----------------------------------------
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)
----- 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.)
----- 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.)
----- ( 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.)
----- 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.)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Wed, Mar 6, 2013 - Thu, Mar 7, 2013 (tentative): Shikanoshima [Fri, Jan 11], Topics: General topics
# 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/
Last modified: 2012-12-20 11:49:55
|
Notification: Mail addresses are partially hidden against SPAM.
|