| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2015)
Search Results: Keywords 'from:2015-07-22 to:2015-07-22'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| KBSE, SS, IPSJ-SE [detail] | 2015-07-22 15:40 |
Hokkaido | Toward Prioritizing Code Smell Detection Results for Prefactoring Natthawute Sae-Lim, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech.)  SS2015-16 KBSE2015-9 |
In order to find the opportunities for applying prefactoring, several techniques for detecting bad smells in source code... [more] | SS2015-16 KBSE2015-9 pp.33-38 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-22 16:10 |
Hokkaido | Test Scenario Generation for Web Scenario Testing Using Design Document Xiaojing Zhang, Haruto Tanno (NTT) SS2015-17 KBSE2015-10 |
While automated test execution is popular among software development projects, the efficiency of test design is also nee... [more] | SS2015-17 KBSE2015-10 pp.39-44 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-22 16:40 |
Hokkaido | A Prototype Tool for Logging Operations on Distributed Version Repositories Jumpei Matsuda, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech) SS2015-18 KBSE2015-11 |
Although handling Distributed Version Control Systems (D-VCSs) is a complicated process for develop- ers, its empirical ... [more] | SS2015-18 KBSE2015-11 pp.45-50 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-22 17:10 |
Hokkaido | 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) SS2015-19 KBSE2015-12 |
In software development, even if a portion of a source code is changed,a programmer has to test the whole software again... [more] | SS2015-19 KBSE2015-12 pp.51-56 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 09:30 |
Hokkaido | Dependency Based Factoring Takashi Nasu, Munehiro Takimoto (TUS) SS2015-20 KBSE2015-13 |
Branch divergence caused by Single Instruction Multiple Data (SIMD) execution extremely decreases the performance of GPU... [more] | SS2015-20 KBSE2015-13 pp.57-62 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 10:00 |
Hokkaido | A prototype method to identify the applied protection method
-- with the artificiality of the products -- Hayato Sagisaka, Haruaki Tamada (KSU) SS2015-21 KBSE2015-14 |
Recently, there are serious problems for illegal analyzing programs, and pirating software. The many software protection... [more] | SS2015-21 KBSE2015-14 pp.63-68 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 10:40 |
Hokkaido | 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) SS2015-22 KBSE2015-15 |
[more] | SS2015-22 KBSE2015-15 pp.69-74 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 11:10 |
Hokkaido | A Basic Concept of Real-time Evacuation Planning by Agent-Based Simulation using IoT Sensor Data Tadashi Iijima (Keio Univ.) SS2015-23 KBSE2015-16 |
[more] | SS2015-23 KBSE2015-16 pp.75-79 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 11:40 |
Hokkaido | Model Driven Development by Separating Concerns in Requrements Specification Satoshi Kawai, Saeko Matsuura (SIT) SS2015-24 KBSE2015-17 |
Model driven development is a promising approach to develop high quality software products efficiently. We have proposed... [more] | SS2015-24 KBSE2015-17 pp.81-86 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 15:20 |
Hokkaido | 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.) SS2015-25 KBSE2015-18 |
[more] | SS2015-25 KBSE2015-18 pp.119-124 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 15:50 |
Hokkaido | A Quantitative Investigation of Developers' Comment Description Tendencies in Open Source Development Takashi Nakano, Takashi Sasaki, Minoru Kawahara, Hirohisa Aman (Ehime Univ.) SS2015-26 KBSE2015-19 |
[more] | SS2015-26 KBSE2015-19 pp.125-130 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 16:20 |
Hokkaido | 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.) SS2015-27 KBSE2015-20 |
(To be available after the conference date) [more] | SS2015-27 KBSE2015-20 pp.131-136 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-23 16:50 |
Hokkaido | Model Checking for UI Specification of RIA with Data Binding Takuya Iwatsuka, Tsuyoshi Oshima, Toshifumi Enomoto (NTT) SS2015-28 KBSE2015-21 |
RIAs realize a high degree of usability come from partial page rewriting by client-side scripting. Their dynamic nature ... [more] | SS2015-28 KBSE2015-21 pp.137-142 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 09:00 |
Hokkaido | A Study on a Formal Verification Method Using Atelier-B Ryota Yamamoto, Shuichiro Yamamoto (Nagoya Univ.) SS2015-29 KBSE2015-22 |
In this paper, we try to evaluate a formal verification method using Atelier-B, a delopment tool for B-method. To enhanc... [more] | SS2015-29 KBSE2015-22 pp.143-148 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 09:30 |
Hokkaido | A Support Tool for Rule-based Scoring of Class Diagrams in UML Modeling Education Kazune Miyajima, Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) SS2015-30 KBSE2015-23 |
UML modeling education consumes time to evaluate answers of students due to absence of model uniqueness, and also to cre... [more] | SS2015-30 KBSE2015-23 pp.149-154 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 10:00 |
Hokkaido | Detecting Problems of an As-Is Model Using Metrics by an Integrated Goal-Oriented Method Shoichiro Ito, Shinpei Hayashi, Motoshi Saeki (Tokyo Tech) SS2015-31 KBSE2015-24 |
Since goal-oriented requirements engineering is useful for understanding the structure of requirements and refining them... [more] | SS2015-31 KBSE2015-24 pp.155-160 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 10:40 |
Hokkaido | Two-Staged Modeling Method with Alloy and Event-B Shin Nakajima (NII) SS2015-32 KBSE2015-25 |
[more] | SS2015-32 KBSE2015-25 pp.161-166 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 11:10 |
Hokkaido | An Equivalent Transformation of Constrained Term Rewriting Systems by Pattern Elimination Takahiro Nagao, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) SS2015-33 KBSE2015-26 |
A constrained term rewriting system, an extension of term rewriting systems, can control application of rules by constra... [more] | SS2015-33 KBSE2015-26 pp.167-172 |
|
| KBSE, SS, IPSJ-SE [detail] | 2015-07-24 11:40 |
Hokkaido | Applying Model Checking on VDM Models using SPIN Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki (Kyushu Univ.) SS2015-34 KBSE2015-27 |
The Vienna Development Method (VDM) is a formal method which supports modeling and analysis of software systems at vario... [more] | SS2015-34 KBSE2015-27 pp.173-178 |
|
[Return to Top Page]