===============================================
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: Takaaki Goto (Univ. of Electro-Comm.), Yoshitaka Aoki (Nihon Unisys)
Assistant: Yutaka Matsuno (Univ. of Electro-Comm.), Hiroyuki Nakagawa (Osaka Univ.)
===============================================
Special Interest Group on Software Engineering (IPSJ-SE)
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
PLACE:
Furano-Bunka-Kaikan
TOPICS:
----------------------------------------
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
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
Tadashi Iijima (Keio Univ.)
(6)/SS 10:00 - 10:30
A cost-aware scheduling for real-time tasks based on the priced task automta
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
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
Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.)
(12)/KBSE 14:10 - 14:40
An Automatic Web Prototyping for Validating Usability Requirements
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
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
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
Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi)
(16)/SS 16:20 - 16:50
Deciding Code Allocation on Malbolge Low-Level Assembler
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
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
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
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.
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
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
Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT)
(27) 14:40 - 15:10
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Software Science (SS) ===
# FUTURE SCHEDULE:
Thu, Oct 23, 2014 - Fri, Oct 24, 2014: Kochi city culture-plaza cul-port [Fri, Sep 5]
# SECRETARY:
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/
=== Technical Committee on Knowledge-Based Software Engineering (KBSE) ===
# SECRETARY:
Yoshitaka Aoki(Nihon Unisys,Ltd.)
E-mai:aou
=== Special Interest Group on Software Engineering (IPSJ-SE) ===
Last modified: 2014-06-26 18:44:10
|
Notification: Mail addresses are partially hidden against SPAM.
|