|
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.) |
|
|
Chair |
|
Tadashi Iijima (Keio Univ.) |
Vice Chair |
|
Shigeo Kaneda (Doshisha Univ.) |
Secretary |
|
Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys) |
Assistant |
|
Yutaka Matsuno (Univ. of Electro-Comm.), Hiroyuki Nakagawa (Osaka Univ.) |
|
Conference Date |
Wed, Jul 9, 2014 15:00 - 16:30
Thu, Jul 10, 2014 09:00 - 17:20
Fri, Jul 11, 2014 09:00 - 15:10 |
Topics |
|
Conference Place |
Furano-Bunka-Kaikan |
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 9 PM 15:00 - 16:30 |
(1) |
15:00-15:30 |
|
(2) |
15:30-16:00 |
|
(3) |
16:00-16:30 |
|
Thu, Jul 10 AM 09:00 - 10:30 |
(4) KBSE |
09:00-09:30 |
Application of Answer Set Programming to Various Forms of the Task Scheduling Problem SS2014-9 KBSE2014-12 |
Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.) |
(5) KBSE |
09:30-10:00 |
Temporal-Constraints Representations for a Business Process by using Timed-Arc into Object-oriented Petri Net SS2014-10 KBSE2014-13 |
Tadashi Iijima (Keio Univ.) |
(6) SS |
10:00-10:30 |
A cost-aware scheduling for real-time tasks based on the priced task automta SS2014-11 KBSE2014-14 |
Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) |
Thu, Jul 10 AM 10:40 - 12:10 |
(7) |
10:40-11:10 |
|
(8) |
11:10-11:40 |
|
(9) |
11:40-12:10 |
|
Thu, Jul 10 PM 13:10 - 15:10 |
(10) KBSE |
13:10-13:40 |
MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder SS2014-12 KBSE2014-15 |
Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.) |
(11) KBSE |
13:40-14:10 |
Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware SS2014-13 KBSE2014-16 |
Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.) |
(12) KBSE |
14:10-14:40 |
An Automatic Web Prototyping for Validating Usability Requirements SS2014-14 KBSE2014-17 |
Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.) |
(13) SS |
14:40-15:10 |
A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications SS2014-15 KBSE2014-18 |
Toshihiro Kamiya (Future Univ. Hakodate) |
Thu, Jul 10 PM 15:20 - 17:20 |
(14) KBSE |
15:20-15:50 |
A Method of Facilitating Counterexample Analysis in Model Checking SS2014-16 KBSE2014-19 |
Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) |
(15) SS |
15:50-16:20 |
Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD SS2014-17 KBSE2014-20 |
Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi) |
(16) SS |
16:20-16:50 |
Deciding Code Allocation on Malbolge Low-Level Assembler SS2014-18 KBSE2014-21 |
Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) |
(17) KBSE |
16:50-17:20 |
A proposal of a searching method for MathML expressions SS2014-19 KBSE2014-22 |
Akihisa Kataoka, Hiroshi Kai (Ehime Univ.) |
Fri, Jul 11 AM 09:00 - 10:30 |
(18) SS |
09:00-09:30 |
Supporting Prefactoring Using Feature Location Results SS2014-20 KBSE2014-23 |
Takuya Komatsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) |
(19) |
09:30-10:00 |
|
(20) |
10:00-10:30 |
|
Fri, Jul 11 AM 10:40 - 12:10 |
(21) SS |
10:40-11:10 |
Risk Prediction for Code Clones Based on Machine Learning SS2014-21 KBSE2014-24 |
Ayaka Imazato, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(22) SS |
11:10-11:40 |
An Empirical Study on Copy and Paste of Code in Software Development. SS2014-22 KBSE2014-25 |
Takafumi Ohta, Hiroshi Igaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) |
(23) |
11:40-12:10 |
|
Fri, Jul 11 PM 13:10 - 15:10 |
(24) SS |
13:10-13:40 |
On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation SS2014-23 KBSE2014-26 |
Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.) |
(25) |
13:40-14:10 |
|
(26) SS |
14:10-14:40 |
Traceability Construction and Utilization in Model Based Testing SS2014-24 KBSE2014-27 |
Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT) |
(27) |
14:40-15:10 |
|
Announcement for Speakers |
General Talk | Each 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 |
Takashi Kobayashi (Tokyo Insitute of Technology)
TEL: 03-5734-3471
FAX: 03-5734-3471
E-: 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 |
Yoshitaka Aoki(Nihon Unisys,Ltd.)
E-mai:aou |
IPSJ-SE |
Special Interest Group on Software Engineering (IPSJ-SE) [Latest Schedule]
|
Contact Address |
|
Last modified: 2014-06-26 18:44:10
|