| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== 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.) =============================================== 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.) =============================================== 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 Knowledge-Based Software Engineering (KBSE) === # SECRETARY: Yoshitaka Aoki(Nihon Unisys,Ltd.) E-mai:     ao  u   === 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: t  ba     # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sa.cs.titech.ac.jp/sigss/ === Special Interest Group on Software Engineering (IPSJ-SE) === Last modified: 2014-06-26 18:44:10 |
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 KBSE Conf / Next KBSE Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]