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: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 40 of 49 [Previous]  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE, SC 2019-11-08
11:00
Nagano Shinshu University A Method to Detect Similar Goals between Goal Models using Hierarchy and word2vec
Koichi Ishikawa, Shinpei Ogata (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.), Kozo Okano (Shinshu Univ.) KBSE2019-23 SC2019-20
The method for software reuse has a problem that can't detect similar goals that described natural language. In this stu... [more] KBSE2019-23 SC2019-20
pp.1-6
KBSE, SC 2019-11-08
11:30
Nagano Shinshu University A Method to Analyze NuSMV Counterexamples for Defect Cause Analysis
Yutaro Ohike, Shinpei Ogata (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys, Ltd.), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-24 SC2019-21
Many state variables that are defined in a model may appear as conditional expressions in one specification on model che... [more] KBSE2019-24 SC2019-21
pp.7-12
KBSE, SC 2019-11-08
14:00
Nagano Shinshu University KBSE2019-27 SC2019-24 (To be available after the conference date) [more] KBSE2019-27 SC2019-24
pp.25-30
KBSE 2019-03-02
11:30
Kyoto Doshisha University Kambaikan KBSE2018-66 (To be available after the conference date) [more] KBSE2018-66
pp.75-80
KBSE, SC 2018-11-10
10:45
Hyogo  
Kazuyuki Higashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2018-38 SC2018-33
 [more] KBSE2018-38 SC2018-33
pp.59-64
KBSE, SS, IPSJ-SE [detail] 2018-07-18
14:25
Hokkaido   A Study of Safety Updating Functionalities for Embedded Systems
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) SS2018-8 KBSE2018-18
Software evolution for embedded systems is a necessary process in software development. In this paper, we update a progr... [more] SS2018-8 KBSE2018-18
pp.43-48
KBSE, SS, IPSJ-SE [detail] 2018-07-18
15:50
Hokkaido   Case Study on a Verification of an IoT Architecture Model Based on Control Loop
Yoshitaka Aoki (NUL), Shinpei Ogata, Kazuki Kobayashi (Shinshu Univ.), Hiroyuki Nakagawa (Osaka Univ.) SS2018-11 KBSE2018-21
IoT (Internet of Things) systems have their respective complicated configuration across cyber and physical space. Even i... [more] SS2018-11 KBSE2018-21
pp.61-66
KBSE 2018-03-01
10:20
Okinawa   Goal Model Construction Based on a Flow of Questions
Hironori Shimada, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-40
All requirements should be extracted from requirements descriptions of software systems in the requirements extraction p... [more] KBSE2017-40
pp.7-12
KBSE 2018-03-02
14:20
Okinawa   A Study on a Programming Framework for Self-Adaptive Systems -- Dynamic Verification Considering Time Constraints --
Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-59
Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have... [more] KBSE2017-59
pp.121-126
DC 2018-02-20
12:05
Tokyo Kikai-Shinko-Kaikan Bldg. On generating locating arrays using simulated annealing
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) DC2017-82
Combinatorial interaction testing is an efficient software testing strategy. In this paper, we focus on locating arrays ... [more] DC2017-82
pp.31-35
KBSE 2018-01-25
13:35
Tokyo Kikai-Shinko-Kaikan Bldg. Applicability of a Framework for Updating Functions Based on the MAPE Loop Mechanism
Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2017-32
Software evolution for embedded systems is a necessary process in software development. In this paper, we construct a pr... [more] KBSE2017-32
pp.1-6
CAS, MSS, IPSJ-AL [detail] 2017-11-17
16:30
Tokyo   A SAT-based method for generating locating arrays
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) CAS2017-62 MSS2017-46
In this paper, we discuss combinatorial interaction testing, which is a well-known software testing strategy.Especially,... [more] CAS2017-62 MSS2017-46
pp.147-152
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
KBSE 2017-03-03
12:05
Ishikawa   An efficient configuration switching method based on system environmental monitoring
Yusuke Myoken, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2016-39
Self-adaptive systems that change their behavior themselves suited to environmental changes have become more important a... [more] KBSE2016-39
pp.1-6
KBSE 2017-03-03
12:50
Ishikawa   KBSE2016-40 Self-adaptive systems, which change their behaviors to adapt to their environmental changes, are focused on in recent ye... [more] KBSE2016-40
pp.7-12
KBSE 2016-11-03
16:00
Nagano Nagano-Engineering Campus, Shinshu University An Empirical Study on Topic Model Refinement Based on Stop Word Extraction
Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2016-27
 [more] KBSE2016-27
pp.19-24
KBSE 2016-05-26
15:50
Tokyo Doshisha Univ. Tokyo Branch Office An Empirical Study on Test Case Clustering Based on Topic Modeling
Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2016-3
 [more] KBSE2016-3
pp.13-18
KBSE 2015-09-25
10:30
Osaka Bldg.A No.110, IST, Suita campus, Osaka University An Empirical Study on Requirements Topic Elaboration Based on Temporal Changes of Top Words
Hitoshi Takahashi, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2015-32
 [more] KBSE2015-32
pp.27-31
KBSE 2015-05-26
10:00
Tokyo   A Preliminary Programming Framework for Self-Adaptive System on Real-World Hardware
Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2015-7
Recently, the cost of controlling software systems have been increasing because of the scale and complexity of such syst... [more] KBSE2015-7
pp.33-38
KBSE 2015-03-06
14:40
Tokyo The University of Electro-Communications Towards Enhancement of Dynamic Verification Applicability for Self-Adaptive Systems
Kento Osaka, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2014-63
 [more] KBSE2014-63
pp.65-70
 Results 21 - 40 of 49 [Previous]  /  [Next]  
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