IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: Recent 10 Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 10 of 10  /   
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
 Results 1 - 10 of 10  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan