Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2014] | [2015] | [2016] | [2017] | [2018] | [2019] | [2020] | [Japanese] / [English]
SS2017-1
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.)
pp. 1 - 6
SS2017-2
Deadlock Detection in Scheduling of Last-Mile Transportation by Using Model Checking
Mitsuaki Tsuji, Koji Hasebe, Kazuhiko Kato (Univ. of Tsukuba)
pp. 7 - 12
SS2017-3
Reliability Verification of Dynamic Information in Dynamic Map for Vehicles
Yosuke Watanabe (Nagoya Univ.), Shuichi Sato (TCRDL), Hiroyuki Seki, Shoji Yuen (Nagoya Univ.)
pp. 13 - 18
SS2017-4
On the new metrics for automatically identifying slicing criteria for program comprehension
Takaaki Masuhara, Hirohide Haga (Doshisha Univ.)
pp. 19 - 24
SS2017-5
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)
pp. 25 - 30
SS2017-6
Agile Development of Control Model focusing on Interaction between Hardware and Environment
Shun Nishikawa, Saeko Matsuura (SIT)
pp. 31 - 35
SS2017-7
A Domain Model Approach using Normalized Class and Existence Dependency
Shigeo Kaneda, Akio Ida, Yusuke Morimoto (Doshisha Univ.)
pp. 37 - 42
SS2017-8
A Study on Application of Goal Oriented Requirements Analysis to IoT System
Michitaro Okano (Univ. of Tsukuba), Takako Nakatani (OUJ)
pp. 43 - 48
SS2017-9
Kosaku Kimura, Ryoji Kurata, Yusuke Sasaki, Hideo Tanida, Shridhar Choudhary, Susumu Tokumoto, Hayato Nishimura (Fujitsu Labs)
pp. 49 - 54
SS2017-10
A Data-Flow Analysis Method Based on Differences Among Execution Traces
Toshihiro Kamiya (Shimane Univ.)
pp. 55 - 60
SS2017-11
Yoshiki Higo, Shinji Kusumoto (Osaka Univ.)
pp. 61 - 66
SS2017-12
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.)
pp. 67 - 72
SS2017-13
A Study on Discerning Hidden Critical Rules in Legacy Information Systems
Masayuki Inoue, Akio Jin, Keitaro Horikawa (NTT), Noriaki Izumi (AIST)
pp. 73 - 78
SS2017-14
Influence of Partial History Extraction of Change Guide Method based on the Interaction Data
Takumi Fujiwara, Takashi Kobayashi (Tokyo Inst. of Tech.)
pp. 79 - 84
SS2017-15
Framework for interactive characterization and annotation of part of source code
Ken Nakayama (Tsuda Univ.), Shun'ichi Tano, Tomonori Hashiyama (UEC)
pp. 85 - 90
SS2017-16
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.)
pp. 133 - 138
SS2017-17
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.)
pp. 139 - 144
SS2017-18
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.)
pp. 145 - 150
SS2017-19
Test Case Prioritization and Visualization for Test Strategy Planning
Tadahisa Kato, Hideto Ogawa (Hitachi)
pp. 151 - 156
SS2017-20
Documentation and Process to Share Semantics of Features
Tsuneo Nakanishi (Fukuoka Univ.)
pp. 157 - 162
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.