| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| NS, RCS (Joint) |
2023-12-15 14:50 |
Fukuoka | Kyushu Institute of Technology Tobata campus, and Online (Primary: On-site, Secondary: Online) |
Development of a Transition Diagram-Based MAC Protocol Design Environment for Sensor Network Verification Systems Ryo Kobayashi, Asano David, Yasushi Fuwa (Shinshu Univ.)  NS2023-148 |
Our wireless sensor network requires new communication protocols to be designed for each specific scenario. We have eval... [more] | NS2023-148 pp.126-131 |
| CCS, NLP | 2023-06-09 13:55 |
Tokyo | Tokyo City Univ. | Analysis of Vocal and Ventricular Folds Data Using Machine Learning Takumi Inoue, Kota Shiozawa, Isao Tokuda (Rits Univ) NLP2023-24 CCS2023-12 |
Vocal fold vibration is a nonlinear phenomenon in the real world. In humans, vocal folds can produce complex sounds by i... [more] | NLP2023-24 CCS2023-12 pp.49-52 |
| CCS, NLP | 2023-06-09 15:00 |
Tokyo | Tokyo City Univ. | Bifurcation diagram reconstruction using trace norm regularization Kota Shiozawa, Isao Tokuda (Ritsumeikan Univ.) NLP2023-26 CCS2023-14 |
A method for reconstructing the bifurcation diagram using time series is introduced. In this method, we employ two machi... [more] | NLP2023-26 CCS2023-14 pp.57-60 |
| KBSE | 2022-03-10 13:05 |
Online | Online (Zoom) | A Study of Learner Errors on State Machine Modeling \Based on Eye Information and Editing Logs Takuma Kimura, Ogata Shinpei (Shinshu Univ.), Makihara Erina (Doshisha Univ.), Okano Kozo (Shinshu Univ.) KBSE2021-55 |
In state machine diagram education, learners sometimes make errors when solving modeling tasks. Educators should support... [more] | KBSE2021-55 pp.84-89 |
| 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 |
| 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 |
| ET | 2019-05-18 10:30 |
Toyama | University of Toyama | Proposal of UML Programing Environment for ICT Relaed Subject at Junior High School Shunya Hara, Mizue Kayama, Takahisa Nakano (Shinshu Univ.), Takashi Nagai (IOT), Naomi Taguchi (Harutomi j.h.s) ET2019-1 |
The purpose of this study is to explore educational learning environment for UML programming at ICT related subjects in ... [more] | ET2019-1 pp.1-6 |
| ET | 2018-11-10 14:00 |
Tokyo | Tokyo Polytechnic University | Proposal of UML programming environment for ICT related subject at junior high school Shunya Hara (Shinshu Univ.), Mizue Kayama, Takahisa Nakano (Shinshu Univ), Takashi Nagai (IOT) ET2018-59 |
The purpose of this study is to explore educational learning environment for UML programming at ICT related subjects in ... [more] | ET2018-59 pp.33-38 |
| 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 | 2017-01-23 12:35 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | SMart-Learning: An Extension of Tools for DSL-based UML State Machine Diagram Learning
-- Simulation for Multiple Instances -- Shinpei Ogata, Kozo Okano, Mizue Kayama (Shinshu Univ.) KBSE2016-31 |
We have actualized SMart-Learning that is a tool set to learn a state machine diagram employing domain specific language... [more] | KBSE2016-31 pp.1-6 |
| KBSE | 2017-01-23 13:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) KBSE2016-32 |
The purpose of this study is to explore the suitable learning environment for conceptual modeling with UML. Our students... [more] | KBSE2016-32 pp.7-12 |
| KBSE, SS, IPSJ-SE [detail] | 2016-07-13 15:10 |
Hokkaido | SMart-Learning: Tools for DSL-based UML State Machine Diagram Learning Shinpei Ogata, Kozo Okano (Shinshu Univ.) SS2016-5 KBSE2016-11 |
State machine diagram learning has been important depending on increasing demand for IoT or embedded systems. One of the... [more] | SS2016-5 KBSE2016-11 pp.49-54 |
|
| SS, MSS | 2016-01-25 10:20 |
Ishikawa | Shiinoki-Geihin-Kan | Choreography Realization by Re-constructible Decomposition of Acyclic Relations
-- A Study on Synthesizing Pareto Optimal State Machines -- Toshiyuki Miyamoto (Osaka Univ.) MSS2015-37 SS2015-46 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] | MSS2015-37 SS2015-46 pp.13-18 |
| MSS, CAS, SIP, VLD | 2015-06-17 09:45 |
Hokkaido | Otaru University of Commerce | Choreography Realization by Re-constructible Decomposition of Acyclic Relations Toshiyuki Miyamoto (Osaka Univ.) CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 |
For a service-oriented architecture based system, the problem of synthesizing a concrete model, i.e., behavioral model,... [more] | CAS2015-2 VLD2015-9 SIP2015-33 MSS2015-2 pp.7-12 |
| SS, KBSE | 2013-07-25 16:40 |
Hokkaido | Modeling Smartphone Apps Using State Machine Diagrams Kyosuke Ochimizu, Tomoyuki Yokogawa (Okayama Prefectural Univ.), Hisashi Miyazaki (KUMW), Yoichiro Sato, Kazutami Arimoto (Okayama Prefectural Univ.) SS2013-21 KBSE2013-21 |
In this paper, we propose a method for modeling smartphone apps using UML state machine diagrams. We focused on a tap ... [more] |
SS2013-21 KBSE2013-21 pp.49-54 |
|
| SS, MSS | 2012-01-26 11:45 |
Kochi | Kochi City Culture-Plaza Cul-Port | A Study for Bounded Model Checking of UML State Machines Using SMT Solvers Hayato Niimura, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-58 SS2011-43 |
Recently, SAT-based bounded model checking has received attention as an efficient symbolic model checking technique. It ... [more] | MSS2011-58 SS2011-43 pp.21-26 |
| SS, MSS | 2012-01-26 13:15 |
Kochi | Kochi City Culture-Plaza Cul-Port | On Transforming Communication Diagrams to State Machines of cbUML and Their Formal Semantics Yasuwo Hasegawa, Toshiyuki Miyamoto (Osaka Univ.) MSS2011-59 SS2011-44 |
On developing information system, the methodology to realize required specications by combine unit parts of system calle... [more] | MSS2011-59 SS2011-44 pp.27-32 |
| VLD, CPSY, RECONF, IPSJ-SLDM [detail] | 2012-01-25 17:10 |
Kanagawa | Hiyoshi Campus, Keio University | Robot Control Unit by Using Dynamically Reconfigurable SU(3) Spin Circuit Yusaku Yamazaki, Takuya Suzuki, Hakaru Tamukoh, Masatoshi Sekine (TUAT) VLD2011-104 CPSY2011-67 RECONF2011-63 |
Our laboratory has developed a robot with various sensors, a stereo camera, microphones and a speaker. This robot has be... [more] | VLD2011-104 CPSY2011-67 RECONF2011-63 pp.77-82 |
| SWIM | 2011-11-18 16:25 |
Tokyo | Tokai Univ.(Takanawa) | Consistency Analysis between UML State Machine and Activity Diagrams Masato Nomura, Yoshiyuki Shinkawa (Ryukoku Univ.) SWIM2011-29 |
UML activity diagram represents the behavior of a process including interactions between objects. On the other hand, sta... [more] | SWIM2011-29 pp.65-70 |
[Return to Top Page]