| 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: Shin Nakajima (NII) Vice Chair: Shoji Yuen (Nagoya Univ.) Secretary: Hironobu Washizaki (Waseda Univ.), Yoshiaki Takata (Kochi Univ. of Tech.) Assistant: Takashi Kobayashi (Tokyo Inst. of Tech.) =============================================== Special Interest Group on Software Engineering (IPSJ-SE) DATE: Thu, Oct 24, 2013 10:30 - 17:55 Fri, Oct 25, 2013 10:15 - 16:15 PLACE: TOPICS: ---------------------------------------- Thu, Oct 24 AM (10:30 - 11:30) ---------------------------------------- (1)/SS 10:30 - 10:50 Symbolic Model Checking of Embedded CISC Assembly Program Kenta Watanabe, Hyejin Jang, Kohei Sakurai, Satoshi Yamane (Kanazawa Univ.) (2)/SS 10:50 - 11:10 Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking -- Generating the Model Automatically by Simulation -- Ryosuke Konoshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) (3)/SS 11:10 - 11:30 Design and Implementation of a Framework for API-Based Language Extension via Rule-Based Rewriting utilizing COINS Takuya Shiode, Hideyuki Kawabata, Toshiaki Kitamura (Hiroshima City Univ.) ---------------------------------------- Thu, Oct 24 AM (11:30 - 12:30) ---------------------------------------- (4) 11:30 - 11:50 (5) 11:50 - 12:10 (6) 12:10 - 12:30 ---------------------------------------- Thu, Oct 24 PM (13:30 - 15:30) ---------------------------------------- (7)/SS 13:30 - 13:50 A Study on Software Maintainability Evaluation using the Directed Graph Analysis Mitsuhiro Nakamura (Fujitsu/Yokohama National Univ.), Reiko Kinomoto, Hisaaki Nakajima (Fujitsu), Tomoki Hamagami (Yokohama National Univ.) (8)/SS 13:50 - 14:10 A representation of relationships between functions and variables in source code Yamato Takahashi, Kazuya Fukuhara, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.) (9)/SS 14:10 - 14:30 A visualization method of relationships between functions and variables for a code review system Kazuya Fukuhara, Yamato Takahashi, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Prefectural Univ.) (10)/SS 14:30 - 14:50 Searching code fragments based on past reuse Tomoya Ishihara, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) (11)/SS 14:50 - 15:10 partitioning commits using data dependency among variables in source code Hiroyuki Kirinuki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) (12)/SS 15:10 - 15:30 Implementing Caching Mechanism to Improve Efficiency of Service-Oriented Mining Software Repository Yasutaka Sakamoto, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) ---------------------------------------- Thu, Oct 24 PM (15:40 - 17:40) ---------------------------------------- (13) 15:40 - 16:00 (14) 16:00 - 16:20 (15) 16:20 - 16:40 (16) 16:40 - 17:00 (17) 17:00 - 17:20 (18) 17:20 - 17:40 ---------------------------------------- Thu, Oct 24 PM (17:40 - 17:55) ---------------------------------------- (19) 17:40 - 17:55 ---------------------------------------- Fri, Oct 25 AM (10:15 - 11:00) ---------------------------------------- (20) 10:15 - 11:00 ---------------------------------------- Fri, Oct 25 AM (11:10 - 12:30) ---------------------------------------- (21) 11:10 - 11:30 (22) 11:30 - 11:50 (23) 11:50 - 12:10 (24) 12:10 - 12:30 ---------------------------------------- Fri, Oct 25 PM (13:30 - 14:30) ---------------------------------------- (25)/SS 13:30 - 13:50 Efficient random test case generation for constrained interaction testing Yasuhiro Hirasaki, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) (26)/SS 13:50 - 14:10 Test Case Generation Based on Design Document: Can We Integrate the Technology into Traditional Development Process? Xiaojing Zhang, Haruto Tanno, Takashi Hoshino (NTT) (27)/SS 14:10 - 14:30 And/Or/Call Graph and Its Application to Source-Code Search Toshihiro Kamiya (Future Univ. Hakodate) ---------------------------------------- Fri, Oct 25 PM (14:40 - 16:15) ---------------------------------------- (28) 14:40 - 15:00 (29) 15:00 - 15:20 (30) 15:20 - 15:40 (31) 15:40 - 16:00 (32) 16:00 - 16:15 # Information for speakers General Talk will have 15 minutes for presentation and 5 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Thu, Jan 30, 2014 - Fri, Jan 31, 2014: [Wed, Nov 20] # 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: 2013-10-12 00:24:23 |
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 | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]