| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
Technical Committee on Software Science (SS) (Searched in: 2017)
Search Results: Keywords 'from:2017-07-19 to:2017-07-19'
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 10:20 |
Hokkaido | Graph compression by tree grammars and direct evaluation of a node selection query on a compressed graph Takeshi Takeda, Kenji Hashimoto, Hiroyuki Seki (Nagoya Univ.)  SS2017-1 KBSE2017-1 |
Graphs expressing relationships between real-world data tend to be extremely large, and researches on graph compression ... [more] | SS2017-1 KBSE2017-1 pp.1-6 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 10:45 |
Hokkaido | Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking Mitsuaki Tsuji, Koji Hasebe, Kazuhiko Kato (Univ. of Tsukuba) SS2017-2 KBSE2017-2 |
The authors are developing a last-mile transportation system with autonomous vehicles. The greatest feature is that pass... [more] | SS2017-2 KBSE2017-2 pp.7-12 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 11:10 |
Hokkaido | Reliability Verification of Dynamic Information in Dynamic Map for Vehicles Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.) SS2017-3 KBSE2017-3 |
In automotive industry, high-precision spatial information such as the LDM(Local Dyanamic Map), that includes dynamic ob... [more] | SS2017-3 KBSE2017-3 pp.13-18 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 12:45 |
Hokkaido | On the new metrics for automatically identifying slicing criteria for program comprehension Takaaki Masuhara, Hirohide Haga (Doshisha Univ.) SS2017-4 KBSE2017-4 |
(To be available after the conference date) [more] | SS2017-4 KBSE2017-4 pp.19-24 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 13:10 |
Hokkaido | Prototyping and Evaluation of Support Method of Model Checking using Modeling Notation of IoT System Architecture Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (NUL), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi (Shinshu Univ.), Yuko Fukushima (NUL) SS2017-5 KBSE2017-5 |
IoT system architecture often relates to various objects such as users, Web services, edges, devices, energy suppliers a... [more] | SS2017-5 KBSE2017-5 pp.25-30 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 13:35 |
Hokkaido | Agile Development of Control Model focusing on Interaction between Hardware and Environment Shun Nishikawa, Saeko Matsuura (SIT) SS2017-6 KBSE2017-6 |
[more] | SS2017-6 KBSE2017-6 pp.31-35 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 14:10 |
Hokkaido | A Domain Model Approach using Normalized Class and Existence Dependency Shigeo Kaneda, Akio Ida, Yusuke Morimoto (Doshisha Univ.) SS2017-7 KBSE2017-7 |
Object-oriented modeling is a major approach to requirement analysis and object-oriented software development. In an ide... [more] | SS2017-7 KBSE2017-7 pp.37-42 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 14:35 |
Hokkaido | A Study on Application of Goal Oriented Requirements Analysis to IoT System Michitaro Okano (Univ. of Tsukuba), Takako Nakatani (OUJ) SS2017-8 KBSE2017-8 |
In a system using IoT (Internet of Things) technology, there are problems such as adaptation to various devices and many... [more] | SS2017-8 KBSE2017-8 pp.43-48 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 15:00 |
Hokkaido | Kosaku Kimura, Ryoji Kurata, Yusuke Sasaki, Hideo Tanida, Shridhar Choudhary, Susumu Tokumoto, Hayato Nishimura (Fujitsu Labs) SS2017-9 KBSE2017-9 |
[more] | SS2017-9 KBSE2017-9 pp.49-54 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 15:35 |
Hokkaido | A Data-Flow Analysis Method Based on Differences Among Execution Traces Toshihiro Kamiya (Shimane Univ.) SS2017-10 KBSE2017-10 |
In some techniques and methods of dynamic analysis of execution trace for debugging or program comprehension proposes d... [more] |
SS2017-10 KBSE2017-10 pp.55-60 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 16:00 |
Hokkaido | Yoshiki Higo, Shinji Kusumoto (Osaka Univ.) SS2017-11 KBSE2017-11 |
(To be available after the conference date) [more] | SS2017-11 KBSE2017-11 pp.61-66 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 16:25 |
Hokkaido | Investigation of Developer Counts and Bug Fix Occurrences for Java Source Files
-- An Analysis Focusing on Dependent Relationships among Source Files -- Kazuki Yamauchi, Hirohisa Aman, Minoru Kawahara (Ehime Univ.) SS2017-12 KBSE2017-12 |
This paper focuses on the relationship between the number of developers involved in a source file and its code quality, ... [more] | SS2017-12 KBSE2017-12 pp.67-72 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 17:00 |
Hokkaido | A Study on Discerning Hidden Critical Rules in Legacy Information Systems Masayuki Inoue, Akio Jin, Keitaro Horikawa (NTT), Noriaki Izumi (AIST) SS2017-13 KBSE2017-13 |
As large-scale systems are so expensive, they are often kept in operation for long periods even though they may not perf... [more] | SS2017-13 KBSE2017-13 pp.73-78 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 17:25 |
Hokkaido | Influence of Partial History Extraction of Change Guide Method based on the Interaction Data Takumi Fujiwara, Takashi Kobayashi (Tokyo Inst. of Tech.) SS2017-14 KBSE2017-14 |
In this paper, we validate the effectivity of the change guide method based on interaction histories proposed in our pre... [more] | SS2017-14 KBSE2017-14 pp.79-84 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-19 17:50 |
Hokkaido | Framework for interactive characterization and annotation of part of source code Ken Nakayama (Tsuda Univ.), Shun'ichi Tano, Tomonori Hashiyama (UEC) SS2017-15 KBSE2017-15 |
Identifying and presenting semantic chunks or relations in source code will help source code comprehension by an enginee... [more] | SS2017-15 KBSE2017-15 pp.85-90 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-20 15:25 |
Hokkaido | On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support Ryota Yamamoto, Norihiro Yoshida (Nagoya Univ.), Nao Aoki (JASA), Hiroaki Takada (Nagoya Univ.) SS2017-16 KBSE2017-16 |
It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the... [more] | SS2017-16 KBSE2017-16 pp.133-138 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-20 15:50 |
Hokkaido | Polynomial Interpretations to Convert Dependency Chains of Constrained Term Rewriting Systems to Bounded Increasing Sequences of Intergers Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama (Nagoya Univ.) SS2017-17 KBSE2017-17 |
In dependency pair framework for proving termination of constrained term rewriting systems, polynomial interpretations t... [more] | SS2017-17 KBSE2017-17 pp.139-144 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-20 16:15 |
Hokkaido | A compiler that translates to Malbolge from a C-language subset containing recursive calls Genki Sakanashi, Shohei Kobe, Masahiko Sakai, Naoki Nishida, Kenji Hashimoto (Nagoya Univ.) SS2017-18 KBSE2017-18 |
Malbolge is an esoteric programming language, which is promising to protect intellectual property rights due to its diff... [more] | SS2017-18 KBSE2017-18 pp.145-150 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-20 16:50 |
Hokkaido | Test Case Prioritization and Visualization for Test Strategy Planning Tadahisa Kato, Hideto Ogawa (Hitachi) SS2017-19 KBSE2017-19 |
In derivational development, in order to confirm the impact of modifying software, the test cases about not only modifie... [more] | SS2017-19 KBSE2017-19 pp.151-156 |
|
| SS, KBSE, IPSJ-SE [detail] | 2017-07-20 17:15 |
Hokkaido | Documentation and Process to Share Semantics of Features Tsuneo Nakanishi (Fukuoka Univ.) SS2017-20 KBSE2017-20 |
The feature, which is employed as textit{de facto} standard in product line engineering, is a convenient abstraction to ... [more] | SS2017-20 KBSE2017-20 pp.157-162 |
|
[Return to Top Page]