| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Hiroyuki Seki (NAIST) Vice Chair: Shin Nakajima (NII) Secretary: Yoshiaki Takata (Kochi Univ. of Tech.), Naruki Mitsuda (Wakayama Univ.) Assistant: Hironobu Washizaki (Waseda Univ.) DATE: Thu, Jun 30, 2011 09:55 - 17:30 Fri, Jul 1, 2011 10:00 - 12:00 PLACE: Korea University(Anam-dong, Seongbuk-gu Seoul, 136-713 Korea. Please see the following URL:. http://www.info.kochi-tech.ac.jp/sigss/programs/2011-06-trans.txt. Prof. Sungdeok Cha (College of Inf. & Commun.) (Japan side: Prof. Shin Nakajima (NII))) TOPICS: Student Session ---------------------------------------- Thu, Jun 30 AM (09:55 - 12:00) ---------------------------------------- ----- Opening Address ( 5 min. ) ----- ----- "A Cost-Driven Hardware/Software Co-Design Lifecycle Transition Model," Dong-Hyun Lee, Hoh Peter In (Korea University) ( 30 min. ) ----- (1) 10:30 - 11:00 An Extention of DynAlloy with Concurrency Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.) (2) 11:00 - 11:30 Verification of BPEL Workflows Design using Model Checking Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.), Shin Nakajima (NII), Akihito Iwai (Denso) (3) 11:30 - 12:00 An Introduction of a Formal Method in PBL: A Case Report Shinya Yamada, Tomohiro Iwamoto, Tsunayuki Shinozawa, Mitsuhide Honda, Ryo Miyashita (Kyushu Univ.), Takashi Iwasaki, Yasuo Inoue (FUJITSU QNET), Keijiro Araki, Shigeru Kusakabe, Yoichi Omori (Kyushu Univ.) ----- Lunch Break ( 60 min. ) ----- ---------------------------------------- Thu, Jun 30 PM (13:00 - 15:00) ---------------------------------------- ----- "TMO-based Automatic Code Generator for Real-time Embedded Software," Ho-Dong Ryu, Woojin Lee (Kyungbuk National University) ( 30 min. ) ----- (4) 13:30 - 14:00 Static Analysis for k-secrecy against Inference Attacks Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST) (5) 14:00 - 14:30 ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts Seiki Tokunaga, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) (6) 14:30 - 15:00 Evaluating Lifelog Common Data Model and Mashup API through Practical Application Development Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ) ----- Break ( 30 min. ) ----- ---------------------------------------- Thu, Jun 30 PM (15:30 - 17:30) ---------------------------------------- ----- "Generating Model of Reactive System through LTL Synthesis," Ryoungkwo Kwon, Gihwon Kwon (Kyonggi University) ( 30 min. ) ----- (7) 16:00 - 16:30 A Prototype of Comparison Tool for Android Applications Based on Difference of API Calling Sequences Tetsuya Kanda, Yuki Manabe, Takashi Ishio, Makoto Matsushita, Katsuro Inoue (Osaka Univ.) (8) 16:30 - 17:00 A Tool For Detecting Duplicated Test Code Based On Test Coverage to Assist TDD Kazunori Sakamoto (Waseda Univ.), Takuto Wada (Towers Quest), Hironori Washizaki, Yoshiaki Fukazawa (Waseda Univ.) (9) 17:00 - 17:30 Evaluating Habituation Effect on Conversational Voice Control in Home Network System Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.) ---------------------------------------- Fri, Jul 1 AM (10:00 - 12:00) ---------------------------------------- ----- "A Scalable Distributed Concolic Testing Approach," Youngjoo Kim, Moonzoo Kim (KAIST) ( 30 min. ) ----- (10) 10:30 - 11:00 Finding Code Clones for Refactoring with Clone Metrics: A Case Study of Open Source Software Eunjong Choi (Osaka Univ.), Norihiro Yoshida (NAIST), Takashi Ishio, Katsuro Inoue (Osaka Univ.), Tateki Sano (NEC) (11) 11:00 - 11:30 An Approach to Investigating How a Lack of Software Refactoring Effects Defect Density Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST) (12) 11:30 - 12:00 Preliminary Assessment of Software Metrics based on Coding Standards Violations Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. # CONFERENCE SPONSORS: - This conference is co-located with the Joint Workshop on Software Science and Engineering. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Fri, Jul 29, 2011 - Sat, Jul 30, 2011: Hokkaido Information University [Thu, May 19], Topics: General topics # SECRETARY: Yoshiaki Takata (Kochi Univ. Tech.) TEL 0887-57-2207 FAX 0887-57-2220 E-mail:      a    -  # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.info.kochi-tech.ac.jp/sigss/ Last modified: 2011-06-28 14:32:21 |
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 | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]