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

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 20 of 59  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
NS 2021-04-16
13:50
Yamaguchi Yamaguchi/Online
(Primary: On-site, Secondary: Online)
A Metamodel for Network Configuration Information
Nagi Arai, Hikofumi Suzuki, Shinpei Ogata, Kozo Okano (Shinshu Univ)
 [more]
KBSE 2021-03-05
13:35
Online Online A Method to Visualize Log Files for Analyzing Unexpected Behavior of Web Applications
Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-35
In order for developers and maintainers to understand the situation in which their Web applications behaved unexpectedly... [more] KBSE2020-35
pp.7-12
SS 2021-03-04
13:25
Online Online Generating Exhaustive Counterexample and Path Constraint with Software Analysis Workbench and Symbolic PathFinder
Rin Karashima, Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2020-41
Software Analysis Workbench (SAW) generates models from JVM bytecode by symbolic execution.
Users can perform model che... [more]
SS2020-41
pp.78-83
KBSE, SC 2020-11-13
15:00
Online Online / Kikai-Shinko-Kaikan Bldg.
(Primary: Online, Secondary: On-site)
KBSE2020-13 SC2020-17 In order to support the education of UML state machine diagrams, studies are being carried out to analyze learners' erro... [more] KBSE2020-13 SC2020-17
p.26
KBSE, SC 2020-11-13
15:04
Online Online / Kikai-Shinko-Kaikan Bldg.
(Primary: Online, Secondary: On-site)
[Poster Presentation] Prototype Tool to Detect Difference between State Machine Diagrams toward Automation of Providing Educational Feedback to Learners
Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.) KBSE2020-15 SC2020-19
State machine diagrams in UML are useful for system development and other purposes because they represent discrete behav... [more] KBSE2020-15 SC2020-19
p.30
KBSE, SC 2020-11-13
15:18
Online Online / Kikai-Shinko-Kaikan Bldg.
(Primary: Online, Secondary: On-site)
[Poster Presentation] A Study of Method to Model Network Configuration in Static Routing for Real Network
Nagi Arai, Hikofumi Suzuki, Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-20 SC2020-24
To operate the network, it is necessary to document and properly manage the configuration information of a real
network... [more]
KBSE2020-20 SC2020-24
p.38
KBSE, SC 2020-11-13
15:20
Online Online / Kikai-Shinko-Kaikan Bldg.
(Primary: Online, Secondary: On-site)
[Poster Presentation] Towards Visualization of Debug Logs to Analyze Unexpected Behavior of Web Services
Hiroki Kasai (Shinshu Univ), Satoshi Yazawa (VR), Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2020-21 SC2020-25
When an unexpected behavior is confirmed on the Web service, the administrator tries to obtain clues to the cause of the... [more] KBSE2020-21 SC2020-25
p.39
DC, SS 2020-10-19
13:00
Online Online verification of shell script behavior by comparing logs.
Hitoshi Kiryu (Shinshu Univ.), Satoshi Suda (Advanced Technology R&D Center, MITSUBISHI Electric), Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2020-5 DC2020-22
 [more] SS2020-5 DC2020-22
pp.1-6
KBSE 2020-03-06
13:30
Okinawa Tenbusu-Naha
(Cancelled but technical report was issued)
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis
Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] KBSE2019-47
pp.7-12
KBSE 2020-03-07
12:45
Okinawa Tenbusu-Naha
(Cancelled but technical report was issued)
Implementation of Programming Environment based on Cloud IDE with Eclipse Che and Docker
Yudai Sugino, Masaaki Niimura, Kozo Okano, Shinpei Ogata (Shinshu Univ.) KBSE2019-57
In recent years,``Edutainment'' has attracted attention.Edutainment approaches to obtain learning effects through game p... [more] KBSE2019-57
pp.67-72
SS 2020-03-05
12:05
Okinawa
(Cancelled but technical report was issued)
An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking
Pan Yang, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Keishi Okamoto (Sendai National College of Tech.) SS2019-56
The demand for research on the hazard analysis of information systems and the construction of countermeasures have been ... [more] SS2019-56
pp.93-98
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
15:40
Nagano Shinshu University A Case-study for Developpment and Verification of an Embedded System
Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) KBSE2019-30 SC2019-27
Through a development of an embedded system and design verification, we report on the issues and workload when novice en... [more] KBSE2019-30 SC2019-27
pp.41-46
KBSE, SS, IPSJ-SE [detail] 2019-07-13
16:30
Hokkaido   A Consideration of Modeling User Interface Patterns based on Screen Transition Model
Shinpei Ogata, Yukiya Yazawa, Kozo Okano (Shinshu Univ.) SS2019-9 KBSE2019-19
In this paper, we report a result of considering a method to semi-automatically apply UI pattern to a functional design ... [more] SS2019-9 KBSE2019-19
pp.129-134
KBSE 2019-03-02
10:00
Kyoto Doshisha University Kambaikan Effectiveness and efficiency evaluation based on operation logs of learned Web site
Ryota Aoki, Shinpei Ogata, Kozo Okano (Shinshu Univ) KBSE2018-64
Web usability in business applications is crucial for enhancing productivity.
We have proposed an evaluation framework ... [more]
KBSE2018-64
pp.63-68
CQ, ICM, NS, NV
(Joint)
2018-11-16
14:35
Ishikawa   Model and Prototype System for Editing Network Diagram -- Toward the facilitation of network operation --
Katsumasa Nakajima, Hikohumi Suzuki, Shinpei Ogata, Kozo Okano (Shinshu Univ.) NS2018-150
For continuous operation of network infrastructure, accurate sharing of configuration information and quality collateral... [more] NS2018-150
pp.117-122
KBSE, SC 2018-11-10
14:00
Hyogo   An Investigation and Analysis of UML State Machine Diagrams in Large Classes
Shinpei Ogata, Mizue Kayama, Kozo Okano (Shinshu Univ.) KBSE2018-41 SC2018-36
In this paper, we reports on the result of an investigation and analysis of many answer models for a modeling task towar... [more] KBSE2018-41 SC2018-36
pp.77-82
KBSE, SS, IPSJ-SE [detail] 2018-07-18
11:55
Hokkaido   Application of Model Checking to an STAMP/STPA Example -- Fallen Barrier Trap at Railroad Crossing --
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata (Shinshu Univ.) SS2018-6 KBSE2018-16
 [more] SS2018-6 KBSE2018-16
pp.31-36
KBSE 2018-05-25
13:30
Tokyo Kikai-Shinko-Kaikan Bldg. Method of Similarity Calculation between Goals Based on Refinement Pattern
Kouichi Ishikawa, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Hironori Washizaki (Waseda Univ.) KBSE2018-3
To efficiently reuse existing software components for derivative development, it is important to properly measure the si... [more] KBSE2018-3
pp.7-11
 Results 1 - 20 of 59  /  [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