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) [schedule] [select]
Chair Shoji Yuen (Nagoya Univ.)
Vice Chair Kazuhiro Ogata (JAIST)
Secretary Takashi Kobayashi (Tokyo Inst. of Tech.), Hironobu Washizaki (Waseda Univ.)
Assistant Yoshiki Higo (Osaka Univ.)

Technical Committee on Knowledge-Based Software Engineering (KBSE) [schedule] [select]
Chair Tadashi Iijima (Keio Univ.)
Vice Chair Shigeo Kaneda (Doshisha Univ.)
Secretary Yutaka Matsuno (Nihon Univ.), Hiroyuki Nakagawa (Osaka Univ.)
Assistant Shinpei Ogata (Shinshu Univ.), Hiroaki Hashiura (Nippon Inst. of Tech.)

Special Interest Group on Software Engineering (IPSJ-SE) [schedule] [select]

Conference Date Wed, Jul 22, 2015 13:30 - 17:40
Thu, Jul 23, 2015 09:30 - 17:20
Fri, Jul 24, 2015 09:00 - 12:10
Topics  
Conference Place Sapporo Education and Culture Hall 
Address Kita 1-jo Nishi 13-chome, Chuo-ku, Sapporo, Hokkaido, 060-0001, Japan.
Transportation Guide http://www.kyobun.org/etc/access.html
Contact
Person		 +81-11-271-5821
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)

Wed, Jul 22 PM 
13:30 - 15:30
(1) 13:30-14:00  
(2) 14:00-14:30  
(3) 14:30-15:00  
(4) 15:00-15:30  
  15:30-15:40 Break ( 10 min. )
Wed, Jul 22 PM 
15:40 - 17:40
(5)
SS		 15:40-16:10 Toward Prioritizing Code Smell Detection Results for Prefactoring SS2015-16 KBSE2015-9 Natthawute Sae-Lim, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.)
(6)
SS		 16:10-16:40 Test Scenario Generation for Web Scenario Testing Using Design Document SS2015-17 KBSE2015-10 Xiaojing Zhang, Haruto Tanno (NTT)
(7)
SS		 16:40-17:10 A Prototype Tool for Logging Operations on Distributed Version Repositories SS2015-18 KBSE2015-11 Jumpei Matsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech)
(8)
SS		 17:10-17:40 A Representation and Visualization Method for Source Code Change Impact Analysis SS2015-19 KBSE2015-12 Tateo Okubo (Iwate Pref Univ), Kazuya Fukuhara (i-MOS), Youta Haresawa, Toshimitsu Inomata, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ)
Thu, Jul 23 AM 
09:30 - 10:30
(9)
SS		 09:30-10:00 Dependency Based Factoring SS2015-20 KBSE2015-13 Takashi Nasu, Munehiro Takimoto (TUS)
(10)
SS		 10:00-10:30 A prototype method to identify the applied protection method
-- with the artificiality of the products -- SS2015-21 KBSE2015-14		 Hayato Sagisaka, Haruaki Tamada (KSU)
  10:30-10:40 Break ( 10 min. )
Thu, Jul 23 AM 
10:40 - 12:10
(11)
KBSE		 10:40-11:10 Proposal of EMSsec-Common Problem for Security and Privacy SS2015-22 KBSE2015-15 Takao Okubo (IISEC), Haruhiko Kaiya (Kanagawa Univ.), Hironori Washizaki (Waseda Univ.), Shinpei Ogata (Shinshu Univ.), Yoshio Kakizaki (Dendai Univ.), Atsuo Hazeyama (Tokyo Gakugei Univ.), Nobukazu Yoshioka (NII)
(12)
KBSE		 11:10-11:40 A Basic Concept of Real-time Evacuation Planning by Agent-Based Simulation using IoT Sensor Data SS2015-23 KBSE2015-16 Tadashi Iijima (Keio Univ.)
(13)
KBSE		 11:40-12:10 Model Driven Development by Separating Concerns in Requrements Specification SS2015-24 KBSE2015-17 Satoshi Kawai, Saeko Matsuura (SIT)
  12:10-13:10 Lunch ( 60 min. )
Thu, Jul 23 PM 
13:10 - 15:10
(14) 13:10-13:40  
(15) 13:40-14:10  
(16) 14:10-14:40  
(17) 14:40-15:10  
  15:10-15:20 Break ( 10 min. )
Thu, Jul 23 PM 
15:20 - 17:20
(18)
SS		 15:20-15:50 A Method of Software Reliability Assessment Based on Fault Data Clustering in Cloud Computing Environment with Big Data SS2015-25 KBSE2015-18 Yoshinobu Tamura (Yamaguchi Univ.), Yumi Nobukawa, Shigeru Yamada (Tottori Univ.)
(19)
SS		 15:50-16:20 A Quantitative Investigation of Developers' Comment Description Tendencies in Open Source Development SS2015-26 KBSE2015-19 Takashi Nakano, Takashi Sasaki, Minoru Kawahara, Hirohisa Aman (Ehime Univ.)
(20)
SS		 16:20-16:50 Toward Increasing the Number of Graftable Bugs in Automated Program Repair
-- A Feasibility Study of Approach Using Huge Dataset -- SS2015-27 KBSE2015-20		 Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
(21)
SS		 16:50-17:20 Model Checking for UI Specification of RIA with Data Binding SS2015-28 KBSE2015-21 Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto (NTT)
Fri, Jul 24 AM 
09:00 - 10:30
(22)
KBSE		 09:00-09:30 A Study on a Formal Verification Method Using Atelier-B SS2015-29 KBSE2015-22 Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.)
(23)
KBSE		 09:30-10:00 A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education SS2015-30 KBSE2015-23 Kazune Miyajima, Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.)
(24)
SS		 10:00-10:30 Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method SS2015-31 KBSE2015-24 Shoichiro Ito, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech)
  10:30-10:40 Break ( 10 min. )
Fri, Jul 24 AM 
10:40 - 12:10
(25)
SS		 10:40-11:10 Two-Staged Modeling Method with Alloy and Event-B SS2015-32 KBSE2015-25 Shin Nakajima (NII)
(26)
SS		 11:10-11:40 An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination SS2015-33 KBSE2015-26 Takahiro Nagao, Naoki Nishida, Masahiko Sakai (Nagoya Univ.)
(27)
SS		 11:40-12:10 Applying Model Checking on VDM Models using SPIN SS2015-34 KBSE2015-27 Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki (Kyushu Univ.)

Contact Address and Latest Schedule Information
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E--mail: tba 
Announcement Latest information will be presented on the homepage
http://www.sa.cs.titech.ac.jp/sigss/
KBSE Technical Committee on Knowledge-Based Software Engineering (KBSE)   [Latest Schedule]
Contact Address Hiroaki HASHIURA (Nippon Inst. of Tech.)
E--mail: ut 
Announcement Latest information will be presented on the homepage:
http://www.ieice.org/iss/kbse/
IPSJ-SE Special Interest Group on Software Engineering (IPSJ-SE)   [Latest Schedule]
Contact Address Yasutaka Kamei（Kyushu University）
E--mail: iaitkshu-u 


Last modified: 2015-07-13 17:15:56


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 KBSE 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]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan