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) [schedule] [select]
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.)

Conference Date Thu, Jun 30, 2011 09:55 - 17:30
Fri, Jul 1, 2011 10:00 - 12:00
Topics Student Session 
Conference Place Korea University 
Address Anam-dong, Seongbuk-gu Seoul, 136-713 Korea
Transportation Guide Please see the following URL:
http://www.info.kochi-tech.ac.jp/sigss/programs/2011-06-trans.txt
Contact
Person
Prof. Sungdeok Cha (College of Inf. & Commun.) (Japan side: Prof. Shin Nakajima (NII))
Sponsors This conference is co-located with the Joint Workshop on Software Science and Engineering.
Copyright
and
reproduction
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

Thu, Jun 30 AM 
09:55 - 12:00
  09:55-10:00 Opening Address ( 5 min. )
  10:00-10:30 "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 SS2011-1 Takuya Iwatsuka, Shoji Yuen (Nagoya Univ.)
(2) 11:00-11:30 Verification of BPEL Workflows Design using Model Checking SS2011-2 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 SS2011-3 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.)
  12:00-13:00 Lunch Break ( 60 min. )
Thu, Jun 30 PM 
13:00 - 15:00
  13:00-13:30 "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 SS2011-4 Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki (NAIST)
(5) 14:00-14:30 ReceiptLog: A Consumer-Oriented Lifelog Service for Storing and Reviewing Daily Receipts SS2011-5 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 SS2011-6 Akira Shimojo, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ)
  15:00-15:30 Break ( 30 min. )
Thu, Jun 30 PM 
15:30 - 17:30
  15:30-16:00 "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 SS2011-7 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 SS2011-8 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 SS2011-9 Noriyuki Matsubara, Shinsuke Matsumoto, Masahide Nakamura (Kobe Univ.)
Fri, Jul 1 AM 
10:00 - 12:00
  10:00-10:30 "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 SS2011-10 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 SS2011-11 Kenji Fujiwara, Kyohei Fushida, Norihiro Yoshida, Hajimu Iida (NAIST)
(12) 11:30-12:00 Preliminary Assessment of Software Metrics based on Coding Standards Violations SS2011-12 Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa (Nagoya Univ.)

Announcement for Speakers
General TalkEach 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 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]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan