| 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 # | |
| KBSE | 2023-03-17 14:35 |
Hiroshima | JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Development of Co-Analysis Support Tool by Linking Simulink and SMT Solver Engielista Anak Norman, Yoshikazu Ueda (Ibaraki Univ.)  KBSE2022-67 |
In order to target various models in co-analysis, it is necessary to be able to select the SMT solver according to the c... [more] | KBSE2022-67 pp.79-84 |
| KBSE | 2023-03-17 15:25 |
Hiroshima | JMS ASTERPLAZA (Primary: On-site, Secondary: Online) |
Study of the Impact of Activity Status on OSS Project Continuation/Interruption Yuga Kikuchi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2022-69 |
Open source software (OSS) has been used by companies in recent years. However, the development of OSS can be subject to... [more] | KBSE2022-69 pp.91-96 |
| LOIS | 2021-03-04 16:40 |
Online | Online | A study of similarity prediction method for human activity by combining POI and GEO Cao Qingying, Yoshikazu Ueda (Ibaraki University) LOIS2020-55 |
In the information-oriented society, SNS has permeated the society widely, and it is difficult to select the people who ... [more] | LOIS2020-55 pp.47-52 |
| KBSE | 2015-03-05 13:45 |
Tokyo | The University of Electro-Communications | Abstraction and Difference Detection of UML Sequence Diagrams in Program Before and After the Updating Shoichi Miyagi, Shohei Maruyama, Yoshikazu Ueda (Ibaraki Univ.) KBSE2014-55 |
Since sequence diagram produced by reverse engineering is details, it is difficult to compare the diagram with the abstr... [more] | KBSE2014-55 pp.19-24 |
| KBSE | 2015-03-05 14:30 |
Tokyo | The University of Electro-Communications | Investigation of model checking by modular approach, and practicality of modular verification Takumi Miyajima (Ibaraki Univ.), Kei Kogai (INCT), Yoshikazu Ueda (Ibaraki Univ.), Tomoyuki Yamagata, Takayuki Takezawa (Hitachi) KBSE2014-56 |
Model checking to search mechanically and cyclopedically for inspection system is difficult because of exponential incre... [more] | KBSE2014-56 pp.25-30 |
| KBSE | 2013-03-14 10:40 |
Tokyo | Shibaura Institute of Technology | A Characteristics Analysis Support Tool for Simulink Model Quality and its Application Tsubasa Sasaki, Kengo Minegishi, Yoshikazu Ueda (Ibaraki Univ.) KBSE2012-70 |
In the development of embedded system, Simulink model-based development has attracted attention. Accordingly, quantitat... [more] |
KBSE2012-70 pp.7-12 |
| KBSE | 2013-03-14 11:25 |
Tokyo | Shibaura Institute of Technology | Abstraction Method of UML Sequence Diagram Based on Execution Trace Shouichi Miyagi, Kouji Kamijo, Yoshikazu Ueda (Ibaraki Univ.) KBSE2012-71 |
In order to take the correspondence between each elements of program and design document, there is a way to create a seq... [more] | KBSE2012-71 pp.13-18 |
| SS | 2011-10-28 11:15 |
Ishikawa | JAIST | Iterative Construction of Finite Alloy Descriptions Kei Kogai (Ibaraki National College of Technology), Shin Nakajima (NII), Yoshikazu Ueda (Ibaraki Univ.) SS2011-36 |
In a process of creating Alloy descriptions, it is often to analyze the descriptions by scoped Alloy commands. The comma... [more] | SS2011-36 pp.55-60 |
| SS | 2010-03-08 15:50 |
Kagoshima | Kagoshima Univ. | A Testing Method for Object-Oriented Software Using Execution Logs Junro Mori, Yoshikazu Ueda (Ibaraki Univ.) SS2009-73 |
Nowadays, software developments are becoming complexity, increasing scale, but those are expected shorter deadline, lowe... [more] | SS2009-73 pp.151-156 |
| SS | 2009-10-16 10:30 |
Nagano | Shinshu University | A Study of Model Transformation Method Between UML and Simulink Satoshi Yoshida, Yoshikazu Ueda (Ibaraki Univ.), Shin Nakajima (NII) SS2009-33 |
Simulink, widely used in the development of embedded systems, is able to generate code automatically and simulate system... [more] | SS2009-33 pp.25-30 |
| SS | 2009-10-16 11:00 |
Nagano | Shinshu University | A Case Stady of Applying SysML to Embedded Software Development Hideaki Kato, Yoshikazu Ueda (Ibaraki Univ.) SS2009-34 |
System modeling language SysML can unitedly describe the embedded system from the hardware to the software of the embedd... [more] | SS2009-34 pp.31-36 |
| KBSE | 2008-03-10 14:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg. B3F-2 | A Study of Design Quality Evaluation Metrics for UML Model Shingo Tamura, Miho Satoh, Yoshikazu Ueda (Ibaraki Univ.) KBSE2007-58 |
In software development, objective quality evaluation and improvement of UML model are important. In this paper, we prop... [more] | KBSE2007-58 pp.25-30 |
| KBSE | 2008-03-10 15:45 |
Tokyo | Kikai-Shinko-Kaikan Bldg. B3F-2 | A Study of Describing the Embedded System Modeling Language SysML in UML Chikako Suda, Yoshikazu Ueda (Ibaraki Univ.) KBSE2007-60 |
In this study, we modeled the correspondence of SysML and UML as an example of the conversion method to UML from SysML. ... [more] | KBSE2007-60 pp.37-42 |
| KBSE | 2006-03-13 10:40 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | SMASH : Description Language for Sharing MAS Information Tetsuji Watanabe, Yoshikazu Ueda (Ibaraki Univ.) |
In the experimental research by using multi-agent simulation(MAS), the researchers refer MAS relation works including th... [more] | KBSE2005-38 pp.7-12 |
| KBSE | 2005-03-15 12:30 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Quality Metrics for Object-Oriented Design Assessment Munkhnasan Choinzon, Yasuo Taki, Yoshikazu Ueda (Ibaraki Univ.) |
This paper presents an approach to evaluate internal attributes of object-oriented design by means of verifying and dete... [more] | KBSE2004-59 pp.19-24 |
| KBSE | 2005-03-15 13:10 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Development of design pattern support tool using input of OCDJ description Yasuki Hasegawa, Yoshikazu Ueda (Ibaraki Univ.) |
Recently, the design pattern which is a general solution for the problem in object-oriented development is widely used. ... [more] | KBSE2004-60 pp.25-30 |
[Return to Top Page]