| 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: 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) 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) 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 PLACE: Sapporo Education and Culture Hall(Kita 1-jo Nishi 13-chome, Chuo-ku, Sapporo, Hokkaido, 060-0001, Japan.http://www.kyobun.org/etc/access.html. +81-11-271-5821) TOPICS: ---------------------------------------- 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 ----- 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 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 Xiaojing Zhang, Haruto Tanno (NTT) (7)/SS 16:40 - 17:10 A Prototype Tool for Logging Operations on Distributed Version Repositories 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 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 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 -- Hayato Sagisaka, Haruaki Tamada (KSU) ----- 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 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 Tadashi Iijima (Keio Univ.) (13)/KBSE 11:40 - 12:10 Model Driven Development by Separating Concerns in Requrements Specification Satoshi Kawai, Saeko Matsuura (SIT) ----- 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 ----- 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 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 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 -- Soichi Sumi, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) (21)/SS 16:50 - 17:20 Model Checking for UI Specification of RIA with Data Binding 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 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 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 Shoichiro Ito, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech) ----- 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 Shin Nakajima (NII) (26)/SS 11:10 - 11:40 An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination Takahiro Nagao, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) (27)/SS 11:40 - 12:10 Applying Model Checking on VDM Models using SPIN Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki (Kyushu Univ.) === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Oct 13, 2015 - Wed, Oct 14, 2015: Todaiji Culture Center (Nara) [Mon, Aug 31], Topics: Software System, Dependability in Network # SECRETARY: Takashi Kobayashi (Tokyo Insitute of Technology) TEL: 03-5734-3471 FAX: 03-5734-3471 E-mail: t  ba       # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ === Technical Committee on Knowledge-Based Software Engineering (KBSE) === # FUTURE SCHEDULE: Thu, Sep 24, 2015 - Fri, Sep 25, 2015: Bldg.A No.110, IST, Suita campus, Osaka University [Mon, Jul 27] Thu, Oct 29, 2015 - Fri, Oct 30, 2015: Nihon Univ. (Surugadai Campus) [Mon, Sep 7] # SECRETARY: Hiroaki HASHIURA (Nippon Inst. of Tech.) E-mail:   u  t# ANNOUNCEMENT: # Latest information will be presented on the homepage: http://www.ieice.org/iss/kbse/ === Special Interest Group on Software Engineering (IPSJ-SE) === # SECRETARY: Yasutaka Kamei（Kyushu University） E-mail:   iaitk shu-uLast 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 | / | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]