| 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) Chair: Kazuhiro Ogata (JAIST) Vice Chair: Akio Nakata (Hiroshima City Univ.) Secretary: Takashi Kobayashi (Tokyo Inst. of Tech.), Yoshiki Higo (Osaka Univ.) Assistant: Kazuyuki Shima (Hiroshima City Univ.) DATE: Thu, Mar 9, 2017 09:30 - 17:20 Fri, Mar 10, 2017 09:15 - 15:10 PLACE: TOPICS: ---------------------------------------- Thu, Mar 9 AM (09:30 - 10:45) ---------------------------------------- (1) 09:30 - 09:55 A Symbolic Simulation of Dense-Timed Pushdown Automata with Clock Freezing Sho Hiraoka, Shoji Yuen (Nagoya Univ.) (2) 09:55 - 10:20 Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting Masato Nakashima, Kenji Hashimoto, Masahiko Sakai, Hiroyuki Seki (Nagoya Univ.) (3) 10:20 - 10:45 Debugging Pure Strategy Games Shin Nakajima (NII) ----- Break ( 15 min. ) ----- ---------------------------------------- Thu, Mar 9 AM (11:00 - 12:15) ---------------------------------------- (4) 11:00 - 11:25 Akito Tanikado, Haruki Yokoyama, Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) (5) 11:25 - 11:50 A study of Relationship between Java Method Name and Implementation toward Buggy Method Prediction Sho Suzuki, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) (6) 11:50 - 12:15 Equivalence Checking for Methods in Java and Its Applications Kozo Okano (Shinshu Univ.), Satoshi Harauchi (Mitsubishi Electric Corp.), Shinpei Ogata (Shinshu Univ.), Toshifusa Sekizawa (Nihon Univ.), Takeshi Obara (Shinshu Univ.) ----- Break ( 90 min. ) ----- ---------------------------------------- Thu, Mar 9 PM (13:45 - 15:25) ---------------------------------------- (7) 13:45 - 14:10 Extending Git Client for Retrieving Development History using Source Code Context Miwa Sasaki, Naoto Ogura, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) (8) 14:10 - 14:35 (See Japanese page.) (9) 14:35 - 15:00 (See Japanese page.) (10) 15:00 - 15:25 A Trial of Traceability Visualization Tool for Information Seeking in Middle-Large-Scaled Open Source Software Shu Kutsuzawa (Gakugei Univ), Hiroaki Hashiura (NIT), Atsuo Hazeyama (Gakugei Univ), Hironori Washizaki (Waseda Univ) ----- Break ( 15 min. ) ----- ---------------------------------------- Thu, Mar 9 PM (15:40 - 17:20) ---------------------------------------- (11) 15:40 - 16:05 On the Use of Variation Points with Preprocessor Directives in Co-change Rule Mining Tatsuya Mori, Takashi Kobayashi, Shinpei Hayashi (Tokyo Tech), Noritoshi Atsumi (Kyoto U.) (12) 16:05 - 16:30 A Study on Source Code Search and Classification using Distributed Representations Tetsuo Yamamoto (Nihon Univ.) (13) 16:30 - 16:55 Analysis of Relation Betweeen on Changes Content and Code Dependency Yuki Ueda, Toshihiro Kamiya (Shimane Univ) (14) 16:55 - 17:20 An Investigation of Extract Method to Construct Prediction Model Based on Process Metrics Daiki Tanaka, Eunjong Choi (NAIST), Norihiro Yoshida (Nagoya Univ.), Kenji Fujiwara (NITTC), Hajimu Iida (NAIST) ---------------------------------------- Fri, Mar 10 AM (09:15 - 10:30) ---------------------------------------- (15) 09:15 - 09:40 Detecting Anormal Power Consumption in a Concurrent of Android Application Takahiro Inagaki, Shoji Yuen (Nagoya Univ.) (16) 09:40 - 10:05 System Identification Method by Real-Time Calculus for Response Time Smoothing Reiya Okamoto, Akio Nakata (Hiroshima City Univ) (17) 10:05 - 10:30 Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) ----- Break ( 15 min. ) ----- ---------------------------------------- Fri, Mar 10 AM (10:45 - 12:00) ---------------------------------------- (18) 10:45 - 11:10 Proving Confluence of Hierarchical Conditional Term Rewriting Systems without Sufficient Completeness Takayuki Kuroda, Naoki Nishida, Hiroyuki Seki (Nagoya Univ.) (19) 11:10 - 11:35 Sufficient Conditions for the Decidability of Query Preservation of Non-Linear Topdown Tree Transducers Taka Ishihara, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.) (20) 11:35 - 12:00 Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) ----- Break ( 90 min. ) ----- ---------------------------------------- Fri, Mar 10 PM (13:30 - 15:10) ---------------------------------------- (21) 13:30 - 13:55 Specifying Narratology by Using Software Modeling Perspectives Minako Ooki, Tsuneo Ajisaka, Naoki Fukuyasu, Naruki Mitsuda, Takuo Matsunobe (Wakayama Univ.) (22) 13:55 - 14:20 (See Japanese page.) (23) 14:20 - 14:45 An Empirical Analysis of Uncertainty in OSS projects -- When and Why does Uncertainty Appear or Disappear? -- Hokuto Muraoka, Takuya Fukamachi, Kazuhiro Yamashita, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) (24) 14:45 - 15:10 Evaluation of a Security Requirement Analysis Support System using Software Security Knowledge Base Atsuo Hazeyama, Shunichi Tanaka (Tokyo Gakugei Univ.), Takafumi Tanaka (TUAT), Seiji Munetoh (IBM Japan), Takao Okubo (IISEC) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Software Science (SS) === # SECRETARY: Yoshiki Higo (Osaka University) TEL: 06-6879-4111 FAX: 06-6879-4114 E-mail:    ist  -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ Last modified: 2017-01-12 11:52:34 |
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]