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 |