Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2024-03-09 09:55 |
Okinawa |
(Primary: On-site, Secondary: Online) |
Variability Modeling of Robot Operating Environment for Simulation Tsuneo Nakanishi, Takuya Fujinaga (Fukuoka Uni), Kenji Hisazumi (SIT) SS2023-86 |
[more] |
SS2023-86 pp.214-219 |
KBSE |
2023-03-17 10:40 |
Hiroshima |
JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Verification of Interaction between Functions in FRAM using Model Checking Yoshitaka Aoki (BIPROGY), Kenji Hisazumi (Shibaura Inst. of Tech.) KBSE2022-62 |
Analysis of FRAM models tends to rely on the domain knowledge of analysts, and it is difficult for anyone to evaluate co... [more] |
KBSE2022-62 pp.49-54 |
ET |
2021-10-30 16:45 |
Online |
Online |
Development and Operation of a Distant Programming Education System under Coronavirus Pandemic Tsuneo Nakanishi (Fukuoka Univ.), Kenji Hisazumi (Shibaura Institute of Tech.), Takuya Fujinaga (Fukuoka Univ.) ET2021-21 |
The authors developed a server/client system for distant programming education to conduct programming exercises smoothly... [more] |
ET2021-21 pp.29-34 |
ITS, IEE-ITS |
2020-03-10 10:30 |
Shiga |
Ritsumeikan Univ. (BKC) (Cancelled but technical report was issued) |
SMArch: Software Architecture for Smart Mobility Tsuneo Nakanishi (Fukuoka Univ.), Yutaka Arakawa, Takahiro Ando, Shigemi Ishida (Kyushu Univ.), Kunihiko Kaneko (Fukuyama Univ.), Shigeaki Tagashira (Kansai Univ.), Kenji Hisazumi, Tsunenori Mine, Akira Fukuda (Kyushu Univ.) ITS2019-59 |
In this article, the authors present SMArch, a software architecture for smart mobility services which tend to evolve co... [more] |
ITS2019-59 pp.13-18 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-20 10:30 |
Hokkaido |
|
Development and Operation of Services for Open Smart Mobility Markets
-- Architecture Strategy and Service Supply Chain Management -- Tsuneo Nakanishi (Fukuoka Univ.), Kenji Hisazumi, Takao Ando, Tsunenori Mine, Akira Fukuda (Kyushu Univ.) SS2018-15 KBSE2018-25 |
The article discusses an architectural strategy to develop and operate information services in the open, dynamic smart m... [more] |
SS2018-15 KBSE2018-25 pp.183-188 |
SS |
2016-03-10 14:50 |
Okinawa |
|
A Software Energy Analysis Method Using ExecutableUML Ryusuke Yoshimoto, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2015-86 |
The power consumption of embedded system has been increased. It is important to analyze energy consumptions taking softw... [more] |
SS2015-86 pp.61-66 |
SS |
2016-03-11 09:25 |
Okinawa |
|
Establishing Traceability between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture Shota Ishibashi, Kenji Hisazumi, Akira Hukuda (Kyushu Univ.) SS2015-92 |
Many uncertainties arise in a system development since the system is complex, large-scale, and deployed in an uncertain ... [more] |
SS2015-92 pp.97-102 |
SS |
2016-03-11 09:50 |
Okinawa |
|
Development and evaluation of an embedded modeling tool for supporting the modeling education Kaoru Beppu, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2015-93 |
The paper proposes and develops an embedded modeling tool to Web pages for supporting modeling educations. Nowadays, dev... [more] |
SS2015-93 pp.103-108 |
KBSE |
2016-03-04 17:30 |
Oita |
|
A Study of Context-Oriented Modeling Language for Embedded Software Development Ikuta Tanigawa (Kyushu Univ.), Ogura Nobuhiko (Toyko City Univ.), Midori Sugaya (Shibaura Inst. of Tech.), Harumi Watanabe (Tokai Univ.), Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) KBSE2015-69 |
Toward a context-sensitive embedded system development, the paper introduces a context-oriented modeling technique. The ... [more] |
KBSE2015-69 pp.119-124 |
SS, MSS |
2016-01-25 17:40 |
Ishikawa |
Shiinoki-Geihin-Kan |
Translation Method for SysML State Machine Diagram into Sequential SPIN Model Yuya Miyamoto, Takahiro Ando, Kenji Hisazumi, Hirokazu Yatsu, Akira Fukuda (Kyushu Univ.), Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto (JAMSS) MSS2015-50 SS2015-59 |
[more] |
MSS2015-50 SS2015-59 pp.87-92 |
MSS, SS |
2015-01-27 12:55 |
Tottori |
|
Towards Security Analysis based on Traceability Hirokazu Yatsu (Kyushu Univ.), Masaru Matsunami (SDNA), Toshimi Sawada (Thinker's craft house), Takahiro Ando, Kenji Hisazumi (Kyushu Univ.), Kong Weiqiang (DLUT), Akira Fukuda (Kyushu Univ.) |
Usually, security analysis is mainly done at the implementation phase of system development. In this paper, we propose a... [more] |
|
SS |
2013-01-11 11:45 |
Okinawa |
|
An Energy Profiler for Android Applications Used in the Real World Hiroki Furusho, Kenji Hisazumi (Kyushu Univ.), Takeshi Kamiyama, Hiroshi Inamura (NTT DOCOMO), Tsuneo Nakanishi, Akira Fukuda (Kyushu Univ.) |
This paper proposes a method for collecting essential data for profiling energy consumption of applications that run on ... [more] |
SS2012-58 pp.73-78 |
KBSE |
2012-11-23 10:35 |
Ishikawa |
Kanazawa University |
E-CUBE: An Analysis Tool for Three "Evolution of Mining Software Repositories" Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.) KBSE2012-50 |
[more] |
KBSE2012-50 pp.73-78 |
KBSE, SS |
2012-07-28 10:00 |
Hokkaido |
Future University Hakodate |
Using Alloy to Support the Building of Domain Specific Language for Mining Software Repositories Changyun Huang, Ryosuke Nakashiro, Kazuhiro Yamashita, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.) SS2012-23 KBSE2012-25 |
This paper proposes an automated approach to build DSLs (Domain-Specific Languages) for MSR (Mining Software Repositorie... [more] |
SS2012-23 KBSE2012-25 pp.79-84 |
SS |
2012-05-10 14:10 |
Ehime |
Ehime Univ. |
Adoption of Software Product Line from Extreme Derivative Development Process Tsuneo Nakanishi (Kyushu Univ.), Hans-Werner Griepentrog, Claes Jaeger-Hansen (UHOH), Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2012-1 |
Software Product Line (or SPL for short), which enables reuse of software artifacts among products, always require a con... [more] |
SS2012-1 pp.1-6 |
SS |
2012-05-10 15:10 |
Ehime |
Ehime Univ. |
QORAL: External Domain-Specific Language for Mining Software Repositories with GPGPU Hiroki Nakamura, Rina Nagano, Kenji Hisazumi, Yasutaka Kamei, Naoyasu Ubayashi, Akira Fukuda (Kyushu Univ.) SS2012-3 |
The Mining Software Repositories (MSR) field integrates and analyzes data stored in repositories such as source control ... [more] |
SS2012-3 pp.13-18 |
SS |
2012-03-13 10:15 |
Okinawa |
Tenbusu-Naha |
A Software FMEA Method and Its Use in Software Product Line Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2011-60 |
Exceptional operations of the system are often specied insufficiently, thus a lot of defects are introduced
in them th... [more] |
SS2011-60 pp.19-24 |
SS |
2012-03-14 11:40 |
Okinawa |
Tenbusu-Naha |
Design and Implementation of Domain-Specific Language for Mining Software Repositories Kazuhiro Yamashita, Daisuke Yamamoto, Yasutaka Kamei, Kenji Hisazumi, Naoyasu Ubayashi (Kyushu Univ.) SS2011-81 |
To improve the effectiveness of the process for collecting and pre-processing data from software repositories,
we desig... [more] |
SS2011-81 pp.145-150 |
SS |
2011-03-08 14:20 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Improvement Case of Development Process with SysML in Airship Auto Navigation System Tetsushi Fukuda, Fumichika Sueyasu, Katsuya Niwaki, Kenji Morita, Kenji Hisazumi, Tsunenori Mine, Naoyasu Ubayashi (Kyushu Univ.), Masayuki Hirayama (IPA/Toshiba), Naoki Hamada (IPA), Takao Futagami (TOYO) SS2010-78 |
SysML can describe the hardware and the software of the system.
SysML is useful in a development of embedded systems.
... [more] |
SS2010-78 pp.151-156 |
SS |
2010-03-08 13:10 |
Kagoshima |
Kagoshima Univ. |
Introducing N-Version Programming in the Product Line of the Safety Critical System Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda (Kyushu Univ.) SS2009-68 |
The N-version programming, which uses diverse components with a single specification but multiple implementations and pe... [more] |
SS2009-68 pp.121-126 |