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 93 [Previous]  /  [Next]  
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE, SC 2021-11-05
13:50
Online Online + Morioka City (KBSE)
(Primary: Online, Secondary: On-site)
Quantitative evaluation effectiveness and efficiency of UI pattern for cataloging
Yu Saitou, Shinpei Ogata, Kozo Okano (Shinshu Univ.) KBSE2021-25 SC2021-24
In web application development, developers use what to implement in the UI (user interface) patterns at the design stage... [more] KBSE2021-25 SC2021-24
pp.1-6
KBSE, IPSJ-SE, SS [detail] 2021-07-08
13:25
Online Online (Zoom) Proposal of a form of requirement specifications for automatic transition model derivation and the derivation method
Hiroya Ii, Masanosuke Ohto, Hitoshi Kiryu, Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2021-3 KBSE2021-15
 [more] SS2021-3 KBSE2021-15
pp.13-18
KBSE, IPSJ-SE, SS [detail] 2021-07-08
14:15
Online Online (Zoom) Extraction method for transition relations from conditional statements in natural language requirements specifications
Maiko Onishi (Ochanomizu Univ.), Hiroya Ii, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2021-5 KBSE2021-17
In software development, it is generally known that detecting defects at an early stage of the process reduces rework an... [more] SS2021-5 KBSE2021-17
pp.25-30
KBSE, SWIM 2021-05-21
11:00
Online Online Implementation of Software Edutainment Systems and Analysis of Learners' Data
Ryosuke Tsutsumi, Wei JiuJun, Shinpei Ogata, Masaaki Niimura, Kozo Okano (Shinshu Univ) KBSE2021-1 SWIM2021-1
 [more] KBSE2021-1 SWIM2021-1
pp.1-6
KBSE, SWIM 2021-05-22
11:00
Online Online Enterprise Architecture-based Agile Development Model for Machine Learning Service Systems
Hironori Takeuchi (Musashi Univ.), Shinpei Ogata (Shinsyu Univ.), Haruhiko Kaiya (Kanagawa Univ.), Hiroyuki Nakagawa (Osaka Univ.) KBSE2021-8 SWIM2021-8
 [more] KBSE2021-8 SWIM2021-8
pp.44-49
KBSE, SWIM 2021-05-22
14:00
Online Online An Automated Method of Identifying Errors in UML State Machine Diagrams for Generating Educational Feedback -- Focus on the Types of Errors to Be Identified and the Results of Their Identification --
Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.) KBSE2021-10 SWIM2021-10
In learning UML (Unified Modeling Language) state machine diagrams, it is difficult for learners to receive quick educat... [more] KBSE2021-10 SWIM2021-10
pp.56-61
NS 2021-04-16
13:50
Online Online A Metamodel for Network Configuration Information
Nagi Arai, Hikofumi Suzuki, Shinpei Ogata, Kozo Okano (Shinshu Univ) NS2021-14
In terms of communication protocols and network device configuration information used at the Layer 3 level and above, it... [more] NS2021-14
pp.77-82
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
 Results 21 - 40 of 93 [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