|
|
All Technical Committee Conferences (Searched in: Recent 10 Years)
|
|
Search Results: Conference Papers |
Conference Papers (Available on Advance Programs) (Sort by: Date Descending) |
|
Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS |
2024-03-09 09:55 |
Okinawa |
(Okinawa, Online) (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 (Hiroshima, Online) (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 (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) (Shiga) (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 |
(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 |
(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 |
(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 |
(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 |
(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 (Ishikawa) |
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 |
|
|
|
Copyright and reproduction :
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
|
[Return to Top Page]
[Return to IEICE Web Page]
|