| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Knowledge-Based Software Engineering (KBSE) (Searched in: 2014)
Search Results: Keywords 'from:2014-07-09 to:2014-07-09'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 09:00 |
Hokkaido | Furano-Bunka-Kaikan | Application of Answer Set Programming to Various Forms of the Task Scheduling Problem Hiroyuki Kobayashi, Hiroyuki Nakagawa, Hideharu Kojima, Tatsuhiro Tsuchiya (Osaka Univ.)  SS2014-9 KBSE2014-12 |
Multi-core processor is widely used in recent CPUs. Even though it makes an evolutional change to high performance com... [more] |
SS2014-9 KBSE2014-12 pp.25-30 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 09:30 |
Hokkaido | Furano-Bunka-Kaikan | Temporal-Constraints Representations for a Business Process by using Timed-Arc into Object-oriented Petri Net Tadashi Iijima (Keio Univ.) SS2014-10 KBSE2014-13 |
[more] | SS2014-10 KBSE2014-13 pp.31-36 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 10:00 |
Hokkaido | Furano-Bunka-Kaikan | A cost-aware scheduling for real-time tasks based on the priced task automta Shoji Yuen, Tatsuro Kamei (Nagoya Univ.) SS2014-11 KBSE2014-14 |
This report presents a technique to give the optimal cost with respect to time passage when a set of tasks are schedul... [more] |
SS2014-11 KBSE2014-14 pp.37-42 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 13:10 |
Hokkaido | Furano-Bunka-Kaikan | MDD for Smartphone Application with Smartphone Feature Specific Model and GUI Builder Koji Matsui, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-12 KBSE2014-15 |
[more] | SS2014-12 KBSE2014-15 pp.63-68 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 13:40 |
Hokkaido | Furano-Bunka-Kaikan | Learning Relation between Android Permissions and Threats by Experiencing Pseudo Malware Makoto Kato, Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-13 KBSE2014-16 |
Recent years, Android malware is increasing. Most of the Android malware execute malicious attacks within the scope of p... [more] | SS2014-13 KBSE2014-16 pp.69-74 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 14:10 |
Hokkaido | Furano-Bunka-Kaikan | An Automatic Web Prototyping for Validating Usability Requirements Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri (Shinshu Univ.) SS2014-14 KBSE2014-17 |
In recent years, usability has become increasingly recognized as an important factor in business Web applications. Some ... [more] | SS2014-14 KBSE2014-17 pp.75-80 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 14:40 |
Hokkaido | Furano-Bunka-Kaikan | A Method to Extract a HTML Structure Pattern for UI Functional Testing of Web Applications Toshihiro Kamiya (Future Univ. Hakodate) SS2014-15 KBSE2014-18 |
The present UI testing techniques are technically kind of white box tests, thus such test cases are fragile against ref... [more] |
SS2014-15 KBSE2014-18 pp.81-85 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 15:20 |
Hokkaido | Furano-Bunka-Kaikan | A Method of Facilitating Counterexample Analysis in Model Checking Yoshitaka Aoki (Nihon Unisys), Saeko Matsuura (Shibaura Inst. of Tech.) SS2014-16 KBSE2014-19 |
Model checking is an effective technique in order to verify the behavior of the system. We have proposed a method to fin... [more] | SS2014-16 KBSE2014-19 pp.87-92 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 15:50 |
Hokkaido | Furano-Bunka-Kaikan | Improving efficiency of pseudo-Boolean solver that uses SAT solver and BDD Masahiko Sakai (Nagoya Univ.), Hidetomo Nabeshima (Univ. of Yamanashi) SS2014-17 KBSE2014-20 |
[more] | SS2014-17 KBSE2014-20 pp.93-98 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 16:20 |
Hokkaido | Furano-Bunka-Kaikan | Deciding Code Allocation on Malbolge Low-Level Assembler Tatsuki Kato, Masahiko Sakai, Toshiki Sakabe, Naoki Nishida (Nagoya Univ.) SS2014-18 KBSE2014-21 |
Malbolge is known as one of the most esoteric and hard-to-programming languages. Recently a low-level assembler (LA-as... [more] |
SS2014-18 KBSE2014-21 pp.99-104 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-10 16:50 |
Hokkaido | Furano-Bunka-Kaikan | A proposal of a searching method for MathML expressions Akihisa Kataoka, Hiroshi Kai (Ehime Univ.) SS2014-19 KBSE2014-22 |
MathML is a markup language for describing mathematical expressions. There are two types speci cations called presentati... [more] | SS2014-19 KBSE2014-22 pp.105-108 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-11 09:00 |
Hokkaido | Furano-Bunka-Kaikan | Supporting Prefactoring Using Feature Location Results Takuya Komatsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Inst. of Tech.) SS2014-20 KBSE2014-23 |
In order to find the opportunities for applying refactoring, several techniques for detecting bad smells in source code ... [more] | SS2014-20 KBSE2014-23 pp.109-114 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-11 10:40 |
Hokkaido | Furano-Bunka-Kaikan | Risk Prediction for Code Clones Based on Machine Learning Ayaka Imazato, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2014-21 KBSE2014-24 |
Code clones often cause the deterioration of software maintainability. Meanwhile not all code clones have a bad influenc... [more] | SS2014-21 KBSE2014-24 pp.129-134 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-11 11:10 |
Hokkaido | Furano-Bunka-Kaikan | An Empirical Study on Copy and Paste of Code in Software Development. Takafumi Ohta, Hiroshi Igaki, Keisuke Hotta, Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2014-22 KBSE2014-25 |
In order to improve productivity etc. copy and paste programming is performed. It is known that not only source code bu... [more] |
SS2014-22 KBSE2014-25 pp.135-140 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-11 13:10 |
Hokkaido | Furano-Bunka-Kaikan | On Coverage Criteria for State Transition Testing and Model Checker-Based Test Case Generation Cassia de Souza Carvalho, Tatsuhiro Tsuchiya (Osaka Univ.) SS2014-23 KBSE2014-26 |
State Transition Testing is an important category of software testing. Our work in progress focuses on a coverage crit... [more] |
SS2014-23 KBSE2014-26 pp.149-154 |
| KBSE, SS, IPSJ-SE [detail] | 2014-07-11 14:10 |
Hokkaido | Furano-Bunka-Kaikan | Traceability Construction and Utilization in Model Based Testing Xiaojing Zhang, Haruto Tanno, Morihide Oinuma (NTT) SS2014-24 KBSE2014-27 |
This paper focuses on traceability related problems in software testing. By extending an existing model based testing te... [more] | SS2014-24 KBSE2014-27 pp.163-168 |
[Return to Top Page]